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
/
impl
Mode
Name
Size
-rw-r--r--
AllInstancesImpl.java
4986
log
stats
plain
blame
-rw-r--r--
AllObjectsImpl.java
909
log
stats
plain
blame
-rw-r--r--
BasicInterpretationImpl.java
9366
log
stats
plain
blame
-rw-r--r--
BooleanFalseImpl.java
922
log
stats
plain
blame
-rw-r--r--
BooleanObjectImpl.java
5006
log
stats
plain
blame
-rw-r--r--
BooleanSymbolImpl.java
927
log
stats
plain
blame
-rw-r--r--
BooleanTrueImpl.java
915
log
stats
plain
blame
-rw-r--r--
BooleanValueImpl.java
991
log
stats
plain
blame
-rw-r--r--
CDInterpretationImpl.java
952
log
stats
plain
blame
-rw-r--r--
ClassInterpretationImpl.java
10471
log
stats
plain
blame
-rw-r--r--
ClosureTypeImpl.java
984
log
stats
plain
blame
-rw-r--r--
ComplexObjectImpl.java
998
log
stats
plain
blame
-rw-r--r--
ConstraintImpl.java
11902
log
stats
plain
blame
-rw-r--r--
DataObjectImpl.java
902
log
stats
plain
blame
-rw-r--r--
DataSymbolImpl.java
902
log
stats
plain
blame
-rw-r--r--
DefaultInterpretationImpl.java
5580
log
stats
plain
blame
-rw-r--r--
EnumInterpretationImpl.java
6832
log
stats
plain
blame
-rw-r--r--
EqualsSymbolImpl.java
926
log
stats
plain
blame
-rw-r--r--
ErrorImpl.java
854
log
stats
plain
blame
-rw-r--r--
ErrorPredicateImpl.java
4045
log
stats
plain
blame
-rw-r--r--
ExistSymbolImpl.java
919
log
stats
plain
blame
-rw-r--r--
FalseImpl.java
869
log
stats
plain
blame
-rw-r--r--
FieldRelationInterpretationImpl.java
13246
log
stats
plain
blame
-rw-r--r--
GlobalRelationInterpretationImpl.java
19282
log
stats
plain
blame
-rw-r--r--
IntObjectImpl.java
3953
log
stats
plain
blame
-rw-r--r--
IntegerSymbolImpl.java
927
log
stats
plain
blame
-rw-r--r--
InterpretationImpl.java
931
log
stats
plain
blame
-rw-r--r--
IrreflexiveClosureImpl.java
963
log
stats
plain
blame
-rw-r--r--
LiteralImpl.java
954
log
stats
plain
blame
-rw-r--r--
ModelSymbolImpl.java
4003
log
stats
plain
blame
-rw-r--r--
MultiplicityDefinitionImpl.java
7852
log
stats
plain
blame
-rw-r--r--
NamedObjectImpl.java
4003
log
stats
plain
blame
-rw-r--r--
NegativeImpl.java
888
log
stats
plain
blame
-rw-r--r--
ObjectImpl.java
863
log
stats
plain
blame
-rw-r--r--
ParameterImpl.java
7447
log
stats
plain
blame
-rw-r--r--
PartialitySymbolImpl.java
944
log
stats
plain
blame
-rw-r--r--
PatternBodyImpl.java
4197
log
stats
plain
blame
-rw-r--r--
PolarityImpl.java
961
log
stats
plain
blame
-rw-r--r--
PositiveImpl.java
888
log
stats
plain
blame
-rw-r--r--
PredicateImpl.java
5446
log
stats
plain
blame
-rw-r--r--
PredicateSymbolImpl.java
5073
log
stats
plain
blame
-rw-r--r--
ProblemImpl.java
4104
log
stats
plain
blame
-rw-r--r--
RealObjectImpl.java
4086
log
stats
plain
blame
-rw-r--r--
RealSymbolImpl.java
906
log
stats
plain
blame
-rw-r--r--
ReflexiveClosureImpl.java
949
log
stats
plain
blame
-rw-r--r--
SolverLanguageFactoryImpl.java
23663
log
stats
plain
blame
-rw-r--r--
SolverLanguagePackageImpl.java
64329
log
stats
plain
blame
-rw-r--r--
StatementImpl.java
968
log
stats
plain
blame
-rw-r--r--
StringObjectImpl.java
4056
log
stats
plain
blame
-rw-r--r--
StringSymbolImpl.java
920
log
stats
plain
blame
-rw-r--r--
SymbolImpl.java
947
log
stats
plain
blame
-rw-r--r--
TrueImpl.java
862
log
stats
plain
blame
-rw-r--r--
TruthValueImpl.java
977
log
stats
plain
blame
-rw-r--r--
UnknownImpl.java
883
log
stats
plain
blame
-rw-r--r--
UnnamedObjectImpl.java
4029
log
stats
plain
blame
-rw-r--r--
VariableImpl.java
3958
log
stats
plain
blame