Class: Alf::Predicate

Inherits:
Object
  • Object
show all
Defined in:
lib/alf/predicate/nodes/eq.rb,
lib/alf/predicate/nodes/gt.rb,
lib/alf/predicate/nodes/in.rb,
lib/alf/predicate/nodes/lt.rb,
lib/alf/predicate/nodes/or.rb,
lib/alf/predicate/nodes/and.rb,
lib/alf/predicate/nodes/gte.rb,
lib/alf/predicate/nodes/lte.rb,
lib/alf/predicate/nodes/neq.rb,
lib/alf/predicate/nodes/not.rb,
lib/alf/predicate/nodes/expr.rb,
lib/alf/predicate/nodes/exists.rb,
lib/alf/predicate/nodes/native.rb,
lib/alf/predicate/nodes/literal.rb,
lib/alf/predicate/nodes/tautology.rb,
lib/alf/predicate/nodes/identifier.rb,
lib/alf/predicate/nodes/nadic_bool.rb,
lib/alf/predicate/nodes/dyadic_comp.rb,
lib/alf/predicate/nodes/contradiction.rb,
lib/alf/predicate/nodes/qualified_identifier.rb

Defined Under Namespace

Modules: And, Contradiction, DyadicComp, Eq, Exists, Expr, Gt, Gte, Identifier, In, Literal, Lt, Lte, NadicBool, Native, Neq, Not, Or, QualifiedIdentifier, Tautology