index
:
VIATRA-Generator
Attribute-Solver
Realistic-Generation-SURE
RealisticMetrics
Scope-PS-Refactor
V4transformation
Vampire-ArenB
Vampire-New
cardinality-counter
dreal-integration
hypergraphs
master
models20-measurements
smartgridgenerator
statecoding_new
web-demo
Mirror of https://github.com/viatra/VIATRA-Generator
Contributors to the VIATRA Generator project
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
Application
/
org.eclipse.viatra.solver.language.model
/
src-gen
/
org
/
eclipse
/
viatra
/
solver
/
language
/
solverLanguage
Mode
Name
Size
-rw-r--r--
AbstractAssertion.java
2362
log
stats
plain
blame
-rw-r--r--
AggregateExpression.java
2214
log
stats
plain
blame
-rw-r--r--
Aggregation.java
2120
log
stats
plain
blame
-rw-r--r--
AggregationOperator.java
2311
log
stats
plain
blame
-rw-r--r--
Argument.java
433
log
stats
plain
blame
-rw-r--r--
ArgumentList.java
1184
log
stats
plain
blame
-rw-r--r--
Assertion.java
392
log
stats
plain
blame
-rw-r--r--
Attribute.java
2345
log
stats
plain
blame
-rw-r--r--
AttributeKind.java
5490
log
stats
plain
blame
-rw-r--r--
BaseRelation.java
396
log
stats
plain
blame
-rw-r--r--
BinaryExpression.java
3333
log
stats
plain
blame
-rw-r--r--
BinaryOperator.java
9185
log
stats
plain
blame
-rw-r--r--
BoundedMultiplicity.java
2263
log
stats
plain
blame
-rw-r--r--
BoundedScope.java
2197
log
stats
plain
blame
-rw-r--r--
Call.java
2272
log
stats
plain
blame
-rw-r--r--
Case.java
2192
log
stats
plain
blame
-rw-r--r--
CastExpression.java
2231
log
stats
plain
blame
-rw-r--r--
ClassDeclaration.java
4206
log
stats
plain
blame
-rw-r--r--
ConditionalExpression.java
3261
log
stats
plain
blame
-rw-r--r--
Conjunction.java
400
log
stats
plain
blame
-rw-r--r--
Count.java
378
log
stats
plain
blame
-rw-r--r--
Datatype.java
379
log
stats
plain
blame
-rw-r--r--
DefaultAssertion.java
421
log
stats
plain
blame
-rw-r--r--
Disjunction.java
400
log
stats
plain
blame
-rw-r--r--
EmptyLiteral.java
395
log
stats
plain
blame
-rw-r--r--
EnumDeclaration.java
1966
log
stats
plain
blame
-rw-r--r--
EnumLiteral.java
1292
log
stats
plain
blame
-rw-r--r--
ExactMultiplicity.java
1303
log
stats
plain
blame
-rw-r--r--
ExactScope.java
1246
log
stats
plain
blame
-rw-r--r--
Expression.java
1206
log
stats
plain
blame
-rw-r--r--
ExpressionArgument.java
1454
log
stats
plain
blame
-rw-r--r--
ExternAggregationOperatorDeclaration.java
2482
log
stats
plain
blame
-rw-r--r--
ExternDatatypeDeclaration.java
458
log
stats
plain
blame
-rw-r--r--
ExternDeclaration.java
1313
log
stats
plain
blame
-rw-r--r--
ExternFunctionDeclaration.java
1446
log
stats
plain
blame
-rw-r--r--
ExternFunctorDeclaration.java
1557
log
stats
plain
blame
-rw-r--r--
ExternPredicateDeclaration.java
497
log
stats
plain
blame
-rw-r--r--
Field.java
5540
log
stats
plain
blame
-rw-r--r--
Forall.java
1308
log
stats
plain
blame
-rw-r--r--
Function.java
1330
log
stats
plain
blame
-rw-r--r--
FunctionDefinition.java
1388
log
stats
plain
blame
-rw-r--r--
Functor.java
1135
log
stats
plain
blame
-rw-r--r--
FunctorDefiniton.java
2268
log
stats
plain
blame
-rw-r--r--
Import.java
1268
log
stats
plain
blame
-rw-r--r--
InfinityLiteral.java
407
log
stats
plain
blame
-rw-r--r--
InlinePredicateAttrributes.java
2347
log
stats
plain
blame
-rw-r--r--
IntLiteral.java
1249
log
stats
plain
blame
-rw-r--r--
Interval.java
2326
log
stats
plain
blame
-rw-r--r--
LetBinding.java
3872
log
stats
plain
blame
-rw-r--r--
LetExpression.java
2026
log
stats
plain
blame
-rw-r--r--
Literal.java
393
log
stats
plain
blame
-rw-r--r--
LogicLiteral.java
1536
log
stats
plain
blame
-rw-r--r--
LogicValue.java
5337
log
stats
plain
blame
-rw-r--r--
LowerBoundedScope.java
1373
log
stats
plain
blame
-rw-r--r--
Metric.java
371
log
stats
plain
blame
-rw-r--r--
MultiaryExpession.java
1192
log
stats
plain
blame
-rw-r--r--
Multiplicity.java
449
log
stats
plain
blame
-rw-r--r--
NamespaceImport.java
1441
log
stats
plain
blame
-rw-r--r--
Node.java
1213
log
stats
plain
blame
-rw-r--r--
ObjectiveDeclaration.java
2555
log
stats
plain
blame
-rw-r--r--
ObjectiveKind.java
4644
log
stats
plain
blame
-rw-r--r--
Operator.java
379
log
stats
plain
blame
-rw-r--r--
PathComponent.java
4183
log
stats
plain
blame
-rw-r--r--
Predicate.java
383
log
stats
plain
blame
-rw-r--r--
PredicateDefinition.java
460
log
stats
plain
blame
-rw-r--r--
Problem.java
3171
log
stats
plain
blame
-rw-r--r--
RealLiteral.java
1307
log
stats
plain
blame
-rw-r--r--
Reference.java
1145
log
stats
plain
blame
-rw-r--r--
Relation.java
394
log
stats
plain
blame
-rw-r--r--
ScopeDeclaration.java
1290
log
stats
plain
blame
-rw-r--r--
SolverLanguageFactory.java
15924
log
stats
plain
blame
-rw-r--r--
SolverLanguagePackage.java
261948
log
stats
plain
blame
-rw-r--r--
StarArgument.java
396
log
stats
plain
blame
-rw-r--r--
Statement.java
437
log
stats
plain
blame
-rw-r--r--
StringLiteral.java
1279
log
stats
plain
blame
-rw-r--r--
Switch.java
1079
log
stats
plain
blame
-rw-r--r--
Symbol.java
1272
log
stats
plain
blame
-rw-r--r--
TypeReference.java
2242
log
stats
plain
blame
-rw-r--r--
TypedArgument.java
1485
log
stats
plain
blame
-rw-r--r--
TypedStarArgument.java
422
log
stats
plain
blame
-rw-r--r--
TypedVariableArgument.java
1330
log
stats
plain
blame
-rw-r--r--
UnaryExpression.java
2422
log
stats
plain
blame
-rw-r--r--
UnaryOperator.java
5347
log
stats
plain
blame
-rw-r--r--
UnboundedMultiplicity.java
436
log
stats
plain
blame
-rw-r--r--
UnnamedErrorPredicateDefintion.java
2501
log
stats
plain
blame
-rw-r--r--
UriImport.java
1226
log
stats
plain
blame
-rw-r--r--
Variable.java
1431
log
stats
plain
blame
d---------
impl
4083
log
stats
plain
d---------
util
114
log
stats
plain