/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/
../
And.java
Assertion.java
AtomicTerm.java
BoolLiteral.java
BoolOperation.java
BoolTypeReference.java
ComplexTypeReference.java
Constant.java
ConstantDeclaration.java
ConstantDefinition.java
DefinedElement.java
Distinct.java
Divison.java
Equals.java
Exists.java
Forall.java
Function.java
FunctionDeclaration.java
FunctionDefinition.java
IfThenElse.java
Iff.java
Impl.java
InstanceOf.java
IntLiteral.java
IntOperation.java
IntTypeReference.java
LessOrEqualThan.java
LessThan.java
LogiclanguageFactory.java
LogiclanguagePackage.java
Minus.java
Mod.java
MoreOrEqualThan.java
MoreThan.java
Multiply.java
Not.java
Or.java
Plus.java
PrimitiveRelation.java
PrimitiveTypeReference.java
QuantifiedExpression.java
RealLiteral.java
RealTypeReference.java
Relation.java
RelationDeclaration.java
RelationDefinition.java
StringLiteral.java
StringTypeReference.java
SymbolicDeclaration.java
SymbolicValue.java
Term.java
TermDescription.java
TransitiveClosure.java
Type.java
TypeDeclaration.java
TypeDefinition.java
TypeDescriptor.java
TypeReference.java
UnknownBecauseUninterpreted.java
Variable.java
impl
util