Module: Alf::Predicate::Contradiction

Includes:
Expr
Defined in:
lib/alf-predicate/alf/predicate/nodes/contradiction.rb

Constant Summary

Constants included from Expr

Expr::OP_NEGATIONS

Instance Method Summary collapse

Methods included from Expr

#constant_variables, #rename, #sexpr, #tautology?, #to_proc, #to_ruby_code

Methods included from Factory

#_factor_predicate, #and, #between, #comp, #contradiction, #in, #literal, #native, #not, #or, #relation, #sexpr, #tautology, #var_ref

Instance Method Details

#! ⇒ Object 



10
11
12
 
# File 'lib/alf-predicate/alf/predicate/nodes/contradiction.rb', line 10

def !
  tautology
end

#&(other) ⇒ Object 



14
15
16
 
# File 'lib/alf-predicate/alf/predicate/nodes/contradiction.rb', line 14

def &(other)
  self
end

#and_split(*args) ⇒ Object 



30
31
32
 
# File 'lib/alf-predicate/alf/predicate/nodes/contradiction.rb', line 30

def and_split(*args)
  [tautology, self]
end

#contradiction? ⇒ Boolean

Returns:

  • (Boolean) 


6
7
8
 
# File 'lib/alf-predicate/alf/predicate/nodes/contradiction.rb', line 6

def contradiction?
  true
end

#free_variables ⇒ Object 



26
27
28
 
# File 'lib/alf-predicate/alf/predicate/nodes/contradiction.rb', line 26

def free_variables
  @free_variables ||= AttrList::EMPTY
end

#priority ⇒ Object 



22
23
24
 
# File 'lib/alf-predicate/alf/predicate/nodes/contradiction.rb', line 22

def priority
  100
end

#|(other) ⇒ Object 



18
19
20
 
# File 'lib/alf-predicate/alf/predicate/nodes/contradiction.rb', line 18

def |(other)
  other
end