Module: ADSL::FOL

Included in:

DS::DSAction, DS::DSCreateObj, DS::DSCreateObjset, DS::DSCreateTup, DS::DSDeleteObj, DS::DSDeleteTup, DS::DSEither, DS::DSForEachCommon, DS::DSRelation, Spass::SpassTranslator::ChainedContext, Spass::SpassTranslator::Predicate, Spass::SpassTranslator::Translation

Defined in:

lib/adsl/fol/first_order_logic.rb

Defined Under Namespace

Classes: And, Equal, Equiv, Exists, ForAll, IfThenElse, IfThenElseEq, Implies, Not, OneOf, Or, PairwiseEqual