Class | Description |
---|---|
AndImpl |
An implementation of the model object 'And'
|
BooleanConstantImpl |
An implementation of the model object 'Boolean Constant'
|
BooleanOperatorImpl |
An implementation of the model object 'Boolean Operator'
|
BooleansFactoryImpl |
An implementation of the model Factory
|
BooleansPackageImpl |
An implementation of the model Package
|
BoolImpl |
An implementation of the model object 'Bool'
|
EqualityImpl |
An implementation of the model object 'Equality'
|
ImplyImpl |
An implementation of the model object 'Imply'
|
InequalityImpl |
An implementation of the model object 'Inequality'
|
NotImpl |
An implementation of the model object 'Not'
|
OrImpl |
An implementation of the model object 'Or'
|
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.