aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage
ModeNameSize
-rw-r--r--AggregateExpression.java2417logstatsplainblame
-rw-r--r--AggregatedParameterSubstitution.java1546logstatsplainblame
-rw-r--r--And.java1295logstatsplainblame
-rw-r--r--Assertion.java3743logstatsplainblame
-rw-r--r--AtomicTerm.java423logstatsplainblame
-rw-r--r--BoolLiteral.java1486logstatsplainblame
-rw-r--r--BoolOperation.java435logstatsplainblame
-rw-r--r--BoolTypeReference.java454logstatsplainblame
-rw-r--r--ComplexTypeReference.java1571logstatsplainblame
-rw-r--r--Constant.java2754logstatsplainblame
-rw-r--r--ConstantDeclaration.java447logstatsplainblame
-rw-r--r--ConstantDefinition.java2669logstatsplainblame
-rw-r--r--Count.java401logstatsplainblame
-rw-r--r--DefinedElement.java1642logstatsplainblame
-rw-r--r--Distinct.java1329logstatsplainblame
-rw-r--r--Divison.java406logstatsplainblame
-rw-r--r--Equals.java2730logstatsplainblame
-rw-r--r--Exists.java406logstatsplainblame
-rw-r--r--Forall.java406logstatsplainblame
-rw-r--r--Function.java3594logstatsplainblame
-rw-r--r--FunctionDeclaration.java447logstatsplainblame
-rw-r--r--FunctionDefinition.java3537logstatsplainblame
-rw-r--r--IfThenElse.java3775logstatsplainblame
-rw-r--r--Iff.java2696logstatsplainblame
-rw-r--r--Impl.java2706logstatsplainblame
-rw-r--r--InstanceOf.java2634logstatsplainblame
-rw-r--r--IntLiteral.java1471logstatsplainblame
-rw-r--r--IntTypeReference.java450logstatsplainblame
-rw-r--r--LessOrEqualThan.java2823logstatsplainblame
-rw-r--r--LessThan.java2751logstatsplainblame
-rw-r--r--LogiclanguageFactory.java12782logstatsplainblame
-rw-r--r--LogiclanguagePackage.java205464logstatsplainblame
-rw-r--r--Max.java402logstatsplainblame
-rw-r--r--Min.java402logstatsplainblame
-rw-r--r--Minus.java398logstatsplainblame
-rw-r--r--Mod.java390logstatsplainblame
-rw-r--r--MoreOrEqualThan.java2823logstatsplainblame
-rw-r--r--MoreThan.java2751logstatsplainblame
-rw-r--r--Multiply.java410logstatsplainblame
-rw-r--r--Not.java1516logstatsplainblame
-rw-r--r--NumericOperation.java2834logstatsplainblame
-rw-r--r--Or.java1289logstatsplainblame
-rw-r--r--Plus.java394logstatsplainblame
-rw-r--r--Pow.java390logstatsplainblame
-rw-r--r--PrimitiveRelation.java451logstatsplainblame
-rw-r--r--PrimitiveTypeReference.java481logstatsplainblame
-rw-r--r--ProjectedAggregateExpression.java1817logstatsplainblame
-rw-r--r--QuantifiedExpression.java2635logstatsplainblame
-rw-r--r--RealLiteral.java1529logstatsplainblame
-rw-r--r--RealTypeReference.java454logstatsplainblame
-rw-r--r--Relation.java2511logstatsplainblame
-rw-r--r--RelationDeclaration.java447logstatsplainblame
-rw-r--r--RelationDefinition.java3544logstatsplainblame
-rw-r--r--StringLiteral.java1501logstatsplainblame
-rw-r--r--StringTypeReference.java462logstatsplainblame
-rw-r--r--Sum.java402logstatsplainblame
-rw-r--r--SymbolicDeclaration.java1554logstatsplainblame
-rw-r--r--SymbolicValue.java2632logstatsplainblame
-rw-r--r--Term.java409logstatsplainblame
-rw-r--r--TermDescription.java502logstatsplainblame
-rw-r--r--TransitiveClosure.java3865logstatsplainblame
-rw-r--r--Type.java4511logstatsplainblame
-rw-r--r--TypeDeclaration.java427logstatsplainblame
-rw-r--r--TypeDefinition.java2654logstatsplainblame
-rw-r--r--TypeDescriptor.java498logstatsplainblame
-rw-r--r--TypeReference.java445logstatsplainblame
-rw-r--r--UnknownBecauseUninterpreted.java476logstatsplainblame
-rw-r--r--Variable.java1574logstatsplainblame
d---------impl3235logstatsplain
d---------util112logstatsplain
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 19:09:11 +0000