Module: Alf::Predicate::Tautology
- Includes:
- Expr
- Defined in:
- lib/alf/predicate/nodes/tautology.rb
Constant Summary
Constants included
from Expr
Expr::OP_NEGATIONS
Instance Method Summary
collapse
Methods included from Expr
#and_split, #constant_variables, #contradiction?, #qualify, #rename, #sexpr, #to_proc, #to_ruby_code
Methods included from Factory
#_factor_predicate, #and, #between, #comp, #contradiction, #identifier, #in, #literal, #native, #not, #or, #qualified_identifier, #relation, #sexpr, #tautology
Instance Method Details
#! ⇒ Object
10
11
12
|
# File 'lib/alf/predicate/nodes/tautology.rb', line 10
def !
contradiction
end
|
#&(other) ⇒ Object
14
15
16
|
# File 'lib/alf/predicate/nodes/tautology.rb', line 14
def &(other)
other
end
|
#free_variables ⇒ Object
26
27
28
|
# File 'lib/alf/predicate/nodes/tautology.rb', line 26
def free_variables
@free_variables ||= AttrList::EMPTY
end
|
#priority ⇒ Object
22
23
24
|
# File 'lib/alf/predicate/nodes/tautology.rb', line 22
def priority
100
end
|
#tautology? ⇒ Boolean
6
7
8
|
# File 'lib/alf/predicate/nodes/tautology.rb', line 6
def tautology?
true
end
|
#|(other) ⇒ Object
18
19
20
|
# File 'lib/alf/predicate/nodes/tautology.rb', line 18
def |(other)
self
end
|