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
/
src-gen
/
org
/
eclipse
/
viatra
/
solver
/
language
/
solverLanguage
Mode
Name
Size
-rw-r--r--
AllInstances.java
1457
log
stats
plain
blame
-rw-r--r--
AllObjects.java
445
log
stats
plain
blame
-rw-r--r--
BasicInterpretation.java
3167
log
stats
plain
blame
-rw-r--r--
BooleanFalse.java
452
log
stats
plain
blame
-rw-r--r--
BooleanObject.java
1467
log
stats
plain
blame
-rw-r--r--
BooleanSymbol.java
454
log
stats
plain
blame
-rw-r--r--
BooleanTrue.java
448
log
stats
plain
blame
-rw-r--r--
BooleanValue.java
486
log
stats
plain
blame
-rw-r--r--
CDInterpretation.java
470
log
stats
plain
blame
-rw-r--r--
ClassInterpretation.java
3840
log
stats
plain
blame
-rw-r--r--
ClosureType.java
482
log
stats
plain
blame
-rw-r--r--
ComplexObject.java
490
log
stats
plain
blame
-rw-r--r--
Constraint.java
4119
log
stats
plain
blame
-rw-r--r--
DataObject.java
497
log
stats
plain
blame
-rw-r--r--
DataSymbol.java
438
log
stats
plain
blame
-rw-r--r--
DefaultInterpretation.java
1656
log
stats
plain
blame
-rw-r--r--
EnumInterpretation.java
2224
log
stats
plain
blame
-rw-r--r--
EqualsSymbol.java
456
log
stats
plain
blame
-rw-r--r--
Error.java
421
log
stats
plain
blame
-rw-r--r--
ErrorPredicate.java
1376
log
stats
plain
blame
-rw-r--r--
ExistSymbol.java
452
log
stats
plain
blame
-rw-r--r--
False.java
421
log
stats
plain
blame
-rw-r--r--
FieldRelationInterpretation.java
4636
log
stats
plain
blame
-rw-r--r--
GlobalRelationInterpretation.java
6844
log
stats
plain
blame
-rw-r--r--
IntObject.java
1345
log
stats
plain
blame
-rw-r--r--
IntegerSymbol.java
454
log
stats
plain
blame
-rw-r--r--
Interpretation.java
456
log
stats
plain
blame
-rw-r--r--
IrreflexiveClosure.java
475
log
stats
plain
blame
-rw-r--r--
Literal.java
465
log
stats
plain
blame
-rw-r--r--
ModelSymbol.java
1352
log
stats
plain
blame
-rw-r--r--
MultiplicityDefinition.java
3329
log
stats
plain
blame
-rw-r--r--
NamedObject.java
1411
log
stats
plain
blame
-rw-r--r--
Negative.java
431
log
stats
plain
blame
-rw-r--r--
Object.java
428
log
stats
plain
blame
-rw-r--r--
Parameter.java
2391
log
stats
plain
blame
-rw-r--r--
PartialitySymbol.java
462
log
stats
plain
blame
-rw-r--r--
PatternBody.java
1277
log
stats
plain
blame
-rw-r--r--
Polarity.java
469
log
stats
plain
blame
-rw-r--r--
Positive.java
431
log
stats
plain
blame
-rw-r--r--
Predicate.java
3655
log
stats
plain
blame
-rw-r--r--
PredicateSymbol.java
1489
log
stats
plain
blame
-rw-r--r--
Problem.java
1244
log
stats
plain
blame
-rw-r--r--
RealObject.java
1403
log
stats
plain
blame
-rw-r--r--
RealSymbol.java
442
log
stats
plain
blame
-rw-r--r--
ReflexiveClosure.java
467
log
stats
plain
blame
-rw-r--r--
SolverLanguageFactory.java
14136
log
stats
plain
blame
-rw-r--r--
SolverLanguagePackage.java
131062
log
stats
plain
blame
-rw-r--r--
Statement.java
473
log
stats
plain
blame
-rw-r--r--
StringObject.java
1375
log
stats
plain
blame
-rw-r--r--
StringSymbol.java
450
log
stats
plain
blame
-rw-r--r--
Symbol.java
461
log
stats
plain
blame
-rw-r--r--
True.java
417
log
stats
plain
blame
-rw-r--r--
TruthValue.java
478
log
stats
plain
blame
-rw-r--r--
Unknown.java
429
log
stats
plain
blame
-rw-r--r--
UnnamedObject.java
1416
log
stats
plain
blame
-rw-r--r--
Variable.java
1331
log
stats
plain
blame
d---------
impl
2765
log
stats
plain
d---------
util
114
log
stats
plain