Class: Alf::Predicate
- Inherits:
-
Object
- Object
- Alf::Predicate
- 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