Module: OCL

Defined in:

lib/dbc/ocl.rb,
lib/dbc/ocl.rb

Defined Under Namespace

Classes: And, Binary, Block, CUnary, Condition, Exists, Forall, Implies, IterBlock, IteratorRange, Label, Not, Or, Paren, Parser, Range, SizeOf, UAddrs, UBitNot, UDeref, UMinus, UPlus, Unary, Xor