aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage
ModeNameSize
-rw-r--r--AllInstances.java1457logstatsplainblame
-rw-r--r--AllObjects.java445logstatsplainblame
-rw-r--r--BasicInterpretation.java3167logstatsplainblame
-rw-r--r--BooleanFalse.java452logstatsplainblame
-rw-r--r--BooleanObject.java1467logstatsplainblame
-rw-r--r--BooleanSymbol.java454logstatsplainblame
-rw-r--r--BooleanTrue.java448logstatsplainblame
-rw-r--r--BooleanValue.java486logstatsplainblame
-rw-r--r--CDInterpretation.java470logstatsplainblame
-rw-r--r--ClassInterpretation.java3840logstatsplainblame
-rw-r--r--ClosureType.java482logstatsplainblame
-rw-r--r--ComplexObject.java490logstatsplainblame
-rw-r--r--Constraint.java4119logstatsplainblame
-rw-r--r--DataObject.java497logstatsplainblame
-rw-r--r--DataSymbol.java438logstatsplainblame
-rw-r--r--DefaultInterpretation.java1656logstatsplainblame
-rw-r--r--EnumInterpretation.java2224logstatsplainblame
-rw-r--r--EqualsSymbol.java456logstatsplainblame
-rw-r--r--Error.java421logstatsplainblame
-rw-r--r--ErrorPredicate.java1376logstatsplainblame
-rw-r--r--ExistSymbol.java452logstatsplainblame
-rw-r--r--False.java421logstatsplainblame
-rw-r--r--FieldRelationInterpretation.java4636logstatsplainblame
-rw-r--r--GlobalRelationInterpretation.java6844logstatsplainblame
-rw-r--r--IntObject.java1345logstatsplainblame
-rw-r--r--IntegerSymbol.java454logstatsplainblame
-rw-r--r--Interpretation.java456logstatsplainblame
-rw-r--r--IrreflexiveClosure.java475logstatsplainblame
-rw-r--r--Literal.java465logstatsplainblame
-rw-r--r--ModelSymbol.java1352logstatsplainblame
-rw-r--r--MultiplicityDefinition.java3329logstatsplainblame
-rw-r--r--NamedObject.java1402logstatsplainblame
-rw-r--r--Negative.java431logstatsplainblame
-rw-r--r--Object.java428logstatsplainblame
-rw-r--r--Parameter.java2391logstatsplainblame
-rw-r--r--PartialitySymbol.java462logstatsplainblame
-rw-r--r--PatternBody.java1277logstatsplainblame
-rw-r--r--Polarity.java469logstatsplainblame
-rw-r--r--Positive.java431logstatsplainblame
-rw-r--r--Predicate.java1857logstatsplainblame
-rw-r--r--PredicateSymbol.java1489logstatsplainblame
-rw-r--r--Problem.java1244logstatsplainblame
-rw-r--r--RealObject.java1403logstatsplainblame
-rw-r--r--RealSymbol.java442logstatsplainblame
-rw-r--r--ReflexiveClosure.java467logstatsplainblame
-rw-r--r--SolverLanguageFactory.java14662logstatsplainblame
-rw-r--r--SolverLanguagePackage.java135407logstatsplainblame
-rw-r--r--Statement.java473logstatsplainblame
-rw-r--r--StringObject.java1375logstatsplainblame
-rw-r--r--StringSymbol.java450logstatsplainblame
-rw-r--r--Symbol.java461logstatsplainblame
-rw-r--r--True.java417logstatsplainblame
-rw-r--r--TruthValue.java478logstatsplainblame
-rw-r--r--Unknown.java429logstatsplainblame
-rw-r--r--UnnamedObject.java1416logstatsplainblame
-rw-r--r--Variable.java1331logstatsplainblame
d---------impl2765logstatsplain
d---------util114logstatsplain
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 14:18:31 +0000