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
/
ecore-gen
/
org
/
eclipse
/
viatra
/
solver
/
language
/
solverLanguage
Mode
Name
Size
-rw-r--r--
Aggregation.java
4080
log
stats
plain
blame
-rw-r--r--
Argument.java
446
log
stats
plain
blame
-rw-r--r--
ArgumentList.java
1213
log
stats
plain
blame
-rw-r--r--
BinaryExpression.java
3363
log
stats
plain
blame
-rw-r--r--
BinaryOperator.java
9437
log
stats
plain
blame
-rw-r--r--
BoundedMultiplicity.java
2293
log
stats
plain
blame
-rw-r--r--
BoundedScopeDefinition.java
2327
log
stats
plain
blame
-rw-r--r--
Call.java
4271
log
stats
plain
blame
-rw-r--r--
Case.java
2222
log
stats
plain
blame
-rw-r--r--
CastExpression.java
2202
log
stats
plain
blame
-rw-r--r--
ClassDefinition.java
3470
log
stats
plain
blame
-rw-r--r--
Comparison.java
3284
log
stats
plain
blame
-rw-r--r--
Conjunction.java
1168
log
stats
plain
blame
-rw-r--r--
DefaultDefinition.java
2286
log
stats
plain
blame
-rw-r--r--
Disjunction.java
1168
log
stats
plain
blame
-rw-r--r--
EmptyIntervalLiteral.java
458
log
stats
plain
blame
-rw-r--r--
ExactMultiplicity.java
1417
log
stats
plain
blame
-rw-r--r--
ExactScopeDefinition.java
1423
log
stats
plain
blame
-rw-r--r--
Expression.java
434
log
stats
plain
blame
-rw-r--r--
ExpressionArgument.java
1412
log
stats
plain
blame
-rw-r--r--
ExternAggregatorDefinition.java
3160
log
stats
plain
blame
-rw-r--r--
ExternDatatypeDefinition.java
2048
log
stats
plain
blame
-rw-r--r--
ExternMetricDefinition.java
3211
log
stats
plain
blame
-rw-r--r--
ExternPredicateDefinition.java
2401
log
stats
plain
blame
-rw-r--r--
Functor.java
1127
log
stats
plain
blame
-rw-r--r--
IfElse.java
3096
log
stats
plain
blame
-rw-r--r--
InfinityLiteral.java
437
log
stats
plain
blame
-rw-r--r--
Interpretation.java
2273
log
stats
plain
blame
-rw-r--r--
Interval.java
2356
log
stats
plain
blame
-rw-r--r--
Let.java
1964
log
stats
plain
blame
-rw-r--r--
LetBinding.java
2324
log
stats
plain
blame
-rw-r--r--
Literal.java
407
log
stats
plain
blame
-rw-r--r--
LocalVariables.java
1233
log
stats
plain
blame
-rw-r--r--
LogicLiteral.java
1566
log
stats
plain
blame
-rw-r--r--
LogicValue.java
5476
log
stats
plain
blame
-rw-r--r--
LowerBoundedScopeDefinition.java
1473
log
stats
plain
blame
-rw-r--r--
ManyMultiplicity.java
446
log
stats
plain
blame
-rw-r--r--
MemberDefinition.java
4920
log
stats
plain
blame
-rw-r--r--
Metric.java
1342
log
stats
plain
blame
-rw-r--r--
MetricDefinition.java
3104
log
stats
plain
blame
-rw-r--r--
Multiplicity.java
462
log
stats
plain
blame
-rw-r--r--
NamedElement.java
1328
log
stats
plain
blame
-rw-r--r--
Node.java
1266
log
stats
plain
blame
-rw-r--r--
NumericLiteral.java
1357
log
stats
plain
blame
-rw-r--r--
ObjectiveDefinition.java
2575
log
stats
plain
blame
-rw-r--r--
ObjectiveKind.java
4666
log
stats
plain
blame
-rw-r--r--
Predicate.java
412
log
stats
plain
blame
-rw-r--r--
PredicateDefinition.java
4020
log
stats
plain
blame
-rw-r--r--
Problem.java
1190
log
stats
plain
blame
-rw-r--r--
QuantifiedExpression.java
3612
log
stats
plain
blame
-rw-r--r--
Quantifier.java
4970
log
stats
plain
blame
-rw-r--r--
Reference.java
1337
log
stats
plain
blame
-rw-r--r--
ScopeDefinition.java
1331
log
stats
plain
blame
-rw-r--r--
SolverLanguageFactory.java
14593
log
stats
plain
blame
-rw-r--r--
SolverLanguagePackage.java
188507
log
stats
plain
blame
-rw-r--r--
StarArgument.java
426
log
stats
plain
blame
-rw-r--r--
Statement.java
450
log
stats
plain
blame
-rw-r--r--
StringLiteral.java
1309
log
stats
plain
blame
-rw-r--r--
Switch.java
1108
log
stats
plain
blame
-rw-r--r--
TypedArgument.java
2177
log
stats
plain
blame
-rw-r--r--
TypedStarArgument.java
1345
log
stats
plain
blame
-rw-r--r--
UnaryExpression.java
2416
log
stats
plain
blame
-rw-r--r--
UnaryOp.java
6268
log
stats
plain
blame
-rw-r--r--
UnnamedErrorPrediateDefinition.java
2531
log
stats
plain
blame
-rw-r--r--
Variable.java
1284
log
stats
plain
blame
d---------
impl
3058
log
stats
plain
d---------
util
114
log
stats
plain