Module: Predicate::Lte

Includes:: DyadicComp

Defined in:: lib/predicate/nodes/lte.rb

Constant Summary

Constants included from Expr

Expr::OP_NEGATIONS

Instance Method Summary collapse

#operator_symbol ⇒ Object

Methods included from DyadicComp

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

Methods included from Expr

#!, #&, #and_split, #constant_variables, #contradiction?, #qualify, #rename, #sexpr, #tautology?, #to_proc, #to_ruby_code, #to_sequel, #|

Methods included from Factory

#and, #between, #comp, #contradiction, #from_hash, #identifier, #in, #literal, #native, #not, #or, #qualified_identifier, #tautology

Instance Method Details

#operator_symbol ⇒ `Object`



5
6
7

# File 'lib/predicate/nodes/lte.rb', line 5

def operator_symbol
  :<=
end