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_variablesObject


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

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

#priorityObject


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