aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage
ModeNameSize
-rw-r--r--Aggregation.java4080logstatsplainblame
-rw-r--r--Argument.java446logstatsplainblame
-rw-r--r--ArgumentList.java1213logstatsplainblame
-rw-r--r--BinaryExpression.java3363logstatsplainblame
-rw-r--r--BinaryOperator.java9437logstatsplainblame
-rw-r--r--BoundedMultiplicity.java2293logstatsplainblame
-rw-r--r--BoundedScopeDefinition.java2327logstatsplainblame
-rw-r--r--Call.java4271logstatsplainblame
-rw-r--r--Case.java2222logstatsplainblame
-rw-r--r--CastExpression.java2202logstatsplainblame
-rw-r--r--ClassDefinition.java3470logstatsplainblame
-rw-r--r--Comparison.java3284logstatsplainblame
-rw-r--r--Conjunction.java1168logstatsplainblame
-rw-r--r--DefaultDefinition.java2286logstatsplainblame
-rw-r--r--Disjunction.java1168logstatsplainblame
-rw-r--r--EmptyIntervalLiteral.java458logstatsplainblame
-rw-r--r--ExactMultiplicity.java1417logstatsplainblame
-rw-r--r--ExactScopeDefinition.java1423logstatsplainblame
-rw-r--r--Expression.java434logstatsplainblame
-rw-r--r--ExpressionArgument.java1412logstatsplainblame
-rw-r--r--ExternAggregatorDefinition.java3160logstatsplainblame
-rw-r--r--ExternDatatypeDefinition.java2048logstatsplainblame
-rw-r--r--ExternMetricDefinition.java3211logstatsplainblame
-rw-r--r--ExternPredicateDefinition.java2401logstatsplainblame
-rw-r--r--Functor.java1127logstatsplainblame
-rw-r--r--IfElse.java3096logstatsplainblame
-rw-r--r--InfinityLiteral.java437logstatsplainblame
-rw-r--r--Interpretation.java2273logstatsplainblame
-rw-r--r--Interval.java2356logstatsplainblame
-rw-r--r--Let.java1964logstatsplainblame
-rw-r--r--LetBinding.java2324logstatsplainblame
-rw-r--r--Literal.java407logstatsplainblame
-rw-r--r--LocalVariables.java1233logstatsplainblame
-rw-r--r--LogicLiteral.java1566logstatsplainblame
-rw-r--r--LogicValue.java5476logstatsplainblame
-rw-r--r--LowerBoundedScopeDefinition.java1473logstatsplainblame
-rw-r--r--ManyMultiplicity.java446logstatsplainblame
-rw-r--r--MemberDefinition.java4920logstatsplainblame
-rw-r--r--Metric.java1342logstatsplainblame
-rw-r--r--MetricDefinition.java3104logstatsplainblame
-rw-r--r--Multiplicity.java462logstatsplainblame
-rw-r--r--NamedElement.java1328logstatsplainblame
-rw-r--r--Node.java1266logstatsplainblame
-rw-r--r--NumericLiteral.java1357logstatsplainblame
-rw-r--r--ObjectiveDefinition.java2575logstatsplainblame
-rw-r--r--ObjectiveKind.java4666logstatsplainblame
-rw-r--r--Predicate.java412logstatsplainblame
-rw-r--r--PredicateDefinition.java4020logstatsplainblame
-rw-r--r--Problem.java1190logstatsplainblame
-rw-r--r--QuantifiedExpression.java3612logstatsplainblame
-rw-r--r--Quantifier.java4970logstatsplainblame
-rw-r--r--Reference.java1337logstatsplainblame
-rw-r--r--ScopeDefinition.java1331logstatsplainblame
-rw-r--r--SolverLanguageFactory.java14593logstatsplainblame
-rw-r--r--SolverLanguagePackage.java188507logstatsplainblame
-rw-r--r--StarArgument.java426logstatsplainblame
-rw-r--r--Statement.java450logstatsplainblame
-rw-r--r--StringLiteral.java1309logstatsplainblame
-rw-r--r--Switch.java1108logstatsplainblame
-rw-r--r--TypedArgument.java2177logstatsplainblame
-rw-r--r--TypedStarArgument.java1345logstatsplainblame
-rw-r--r--UnaryExpression.java2416logstatsplainblame
-rw-r--r--UnaryOp.java6268logstatsplainblame
-rw-r--r--UnnamedErrorPrediateDefinition.java2531logstatsplainblame
-rw-r--r--Variable.java1284logstatsplainblame
d---------impl3058logstatsplain
d---------util114logstatsplain
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 18:12:36 +0000