aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage
ModeNameSize
-rw-r--r--AbstractAssertion.java2362logstatsplainblame
-rw-r--r--AggregateExpression.java2214logstatsplainblame
-rw-r--r--Aggregation.java2120logstatsplainblame
-rw-r--r--AggregationOperator.java2311logstatsplainblame
-rw-r--r--Argument.java433logstatsplainblame
-rw-r--r--ArgumentList.java1184logstatsplainblame
-rw-r--r--Assertion.java392logstatsplainblame
-rw-r--r--Attribute.java2345logstatsplainblame
-rw-r--r--AttributeKind.java5490logstatsplainblame
-rw-r--r--BaseRelation.java396logstatsplainblame
-rw-r--r--BinaryExpression.java3333logstatsplainblame
-rw-r--r--BinaryOperator.java9185logstatsplainblame
-rw-r--r--BoundedMultiplicity.java2263logstatsplainblame
-rw-r--r--BoundedScope.java2197logstatsplainblame
-rw-r--r--Call.java2272logstatsplainblame
-rw-r--r--Case.java2192logstatsplainblame
-rw-r--r--CastExpression.java2231logstatsplainblame
-rw-r--r--ClassDeclaration.java4206logstatsplainblame
-rw-r--r--ConditionalExpression.java3261logstatsplainblame
-rw-r--r--Conjunction.java400logstatsplainblame
-rw-r--r--Count.java378logstatsplainblame
-rw-r--r--Datatype.java379logstatsplainblame
-rw-r--r--DefaultAssertion.java421logstatsplainblame
-rw-r--r--Disjunction.java400logstatsplainblame
-rw-r--r--EmptyLiteral.java395logstatsplainblame
-rw-r--r--EnumDeclaration.java1966logstatsplainblame
-rw-r--r--EnumLiteral.java1292logstatsplainblame
-rw-r--r--ExactMultiplicity.java1303logstatsplainblame
-rw-r--r--ExactScope.java1246logstatsplainblame
-rw-r--r--Expression.java1206logstatsplainblame
-rw-r--r--ExpressionArgument.java1454logstatsplainblame
-rw-r--r--ExternAggregationOperatorDeclaration.java2482logstatsplainblame
-rw-r--r--ExternDatatypeDeclaration.java458logstatsplainblame
-rw-r--r--ExternDeclaration.java1313logstatsplainblame
-rw-r--r--ExternFunctionDeclaration.java1446logstatsplainblame
-rw-r--r--ExternFunctorDeclaration.java1557logstatsplainblame
-rw-r--r--ExternPredicateDeclaration.java497logstatsplainblame
-rw-r--r--Field.java5540logstatsplainblame
-rw-r--r--Forall.java1308logstatsplainblame
-rw-r--r--Function.java1330logstatsplainblame
-rw-r--r--FunctionDefinition.java1388logstatsplainblame
-rw-r--r--Functor.java1135logstatsplainblame
-rw-r--r--FunctorDefiniton.java2268logstatsplainblame
-rw-r--r--Import.java1268logstatsplainblame
-rw-r--r--InfinityLiteral.java407logstatsplainblame
-rw-r--r--InlinePredicateAttrributes.java2347logstatsplainblame
-rw-r--r--IntLiteral.java1249logstatsplainblame
-rw-r--r--Interval.java2326logstatsplainblame
-rw-r--r--LetBinding.java3872logstatsplainblame
-rw-r--r--LetExpression.java2026logstatsplainblame
-rw-r--r--Literal.java393logstatsplainblame
-rw-r--r--LogicLiteral.java1536logstatsplainblame
-rw-r--r--LogicValue.java5337logstatsplainblame
-rw-r--r--LowerBoundedScope.java1373logstatsplainblame
-rw-r--r--Metric.java371logstatsplainblame
-rw-r--r--MultiaryExpession.java1192logstatsplainblame
-rw-r--r--Multiplicity.java449logstatsplainblame
-rw-r--r--NamespaceImport.java1441logstatsplainblame
-rw-r--r--Node.java1213logstatsplainblame
-rw-r--r--ObjectiveDeclaration.java2555logstatsplainblame
-rw-r--r--ObjectiveKind.java4644logstatsplainblame
-rw-r--r--Operator.java379logstatsplainblame
-rw-r--r--PathComponent.java4183logstatsplainblame
-rw-r--r--Predicate.java383logstatsplainblame
-rw-r--r--PredicateDefinition.java460logstatsplainblame
-rw-r--r--Problem.java3171logstatsplainblame
-rw-r--r--RealLiteral.java1307logstatsplainblame
-rw-r--r--Reference.java1145logstatsplainblame
-rw-r--r--Relation.java394logstatsplainblame
-rw-r--r--ScopeDeclaration.java1290logstatsplainblame
-rw-r--r--SolverLanguageFactory.java15924logstatsplainblame
-rw-r--r--SolverLanguagePackage.java261948logstatsplainblame
-rw-r--r--StarArgument.java396logstatsplainblame
-rw-r--r--Statement.java437logstatsplainblame
-rw-r--r--StringLiteral.java1279logstatsplainblame
-rw-r--r--Switch.java1079logstatsplainblame
-rw-r--r--Symbol.java1272logstatsplainblame
-rw-r--r--TypeReference.java2242logstatsplainblame
-rw-r--r--TypedArgument.java1485logstatsplainblame
-rw-r--r--TypedStarArgument.java422logstatsplainblame
-rw-r--r--TypedVariableArgument.java1330logstatsplainblame
-rw-r--r--UnaryExpression.java2422logstatsplainblame
-rw-r--r--UnaryOperator.java5347logstatsplainblame
-rw-r--r--UnboundedMultiplicity.java436logstatsplainblame
-rw-r--r--UnnamedErrorPredicateDefintion.java2501logstatsplainblame
-rw-r--r--UriImport.java1226logstatsplainblame
-rw-r--r--Variable.java1431logstatsplainblame
d---------impl4083logstatsplain
d---------util114logstatsplain
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 20:57:57 +0000