Module: Expression

Included in:
Formula, Term
Defined in:
lib/rover_prover/language/expression.rb

Instance Method Summary collapse

Instance Method Details

#eql?(term) ⇒ Boolean

Returns:

  • (Boolean)

Raises:

  • (NotImplementedError) 


26
27
28
 
# File 'lib/rover_prover/language/expression.rb', line 26

def eql?(term)
  raise NotImplementedError
end

#free_unification_terms ⇒ Object

Raises:

  • (NotImplementedError) 


6
7
8
 
# File 'lib/rover_prover/language/expression.rb', line 6

def free_unification_terms
  raise NotImplementedError
end

#free_variables ⇒ Object

Raises:

  • (NotImplementedError) 


2
3
4
 
# File 'lib/rover_prover/language/expression.rb', line 2

def free_variables
  raise NotImplementedError
end

#occurs(unification_term) ⇒ Object

Raises:

  • (NotImplementedError) 


14
15
16
 
# File 'lib/rover_prover/language/expression.rb', line 14

def occurs(unification_term)
  raise NotImplementedError
end

#replace(old, new) ⇒ Object

Raises:

  • (NotImplementedError) 


10
11
12
 
# File 'lib/rover_prover/language/expression.rb', line 10

def replace(old, new)
  raise NotImplementedError
end

#set_instantiation_time(time) ⇒ Object

Raises:

  • (NotImplementedError) 


22
23
24
 
# File 'lib/rover_prover/language/expression.rb', line 22

def set_instantiation_time(time)
  raise NotImplementedError
end

#to_s ⇒ Object

Raises:

  • (NotImplementedError) 


18
19
20
 
# File 'lib/rover_prover/language/expression.rb', line 18

def to_s
  raise NotImplementedError
end

#unify(term) ⇒ Object 



30
31
32
 
# File 'lib/rover_prover/language/expression.rb', line 30

def unify(term)
  nil
end