Module: Alf::Predicate::Eq

Includes:: DyadicComp

Defined in:: lib/alf-predicate/alf/predicate/nodes/eq.rb

Constant Summary

Constants included from Expr

Alf::Predicate::Expr::OP_NEGATIONS

Instance Method Summary collapse

Methods included from DyadicComp

#!, #free_variables, #left, #priority, #right

Methods included from Expr

#!, #&, #and_split, #contradiction?, #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

#constant_variables ⇒ `Object`

# File 'lib/alf-predicate/alf/predicate/nodes/eq.rb', line 10

def constant_variables
  fv = free_variables
  fv.size == 1 ? fv : AttrList::EMPTY
end

#operator_symbol ⇒ `Object`



6
7
8

# File 'lib/alf-predicate/alf/predicate/nodes/eq.rb', line 6

def operator_symbol
  :==
end