Module: ADSL::DS

Defined in:

lib/adsl/ds/data_store_spec.rb,
lib/adsl/spass/spass_ds_extensions.rb

Defined Under Namespace

Classes: DSAction, DSAllOf, DSAnd, DSAssignment, DSBlock, DSBoolean, DSClass, DSCreateObj, DSCreateObjset, DSCreateTup, DSDeleteObj, DSDeleteTup, DSDereference, DSEither, DSEitherLambdaObjset, DSEmpty, DSEmptyObjset, DSEqual, DSEquiv, DSExists, DSFlatForEach, DSForAll, DSForEach, DSForEachCommon, DSForEachIteratorObjset, DSForEachPostLambdaObjset, DSForEachPreLambdaObjset, DSImplies, DSIn, DSInvariant, DSNode, DSNot, DSOneOf, DSOneOfObjset, DSOr, DSRelation, DSSpec, DSSubset, DSUnion, DSVariable