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
/
impl
Mode
Name
Size
-rw-r--r--
AbstractAssertionImpl.java
7034
log
stats
plain
blame
-rw-r--r--
AggregateExpressionImpl.java
6521
log
stats
plain
blame
-rw-r--r--
AggregationImpl.java
6041
log
stats
plain
blame
-rw-r--r--
AggregationOperatorImpl.java
5893
log
stats
plain
blame
-rw-r--r--
ArgumentImpl.java
872
log
stats
plain
blame
-rw-r--r--
ArgumentListImpl.java
3732
log
stats
plain
blame
-rw-r--r--
AssertionImpl.java
808
log
stats
plain
blame
-rw-r--r--
AttributeImpl.java
5426
log
stats
plain
blame
-rw-r--r--
BaseRelationImpl.java
822
log
stats
plain
blame
-rw-r--r--
BinaryExpressionImpl.java
8563
log
stats
plain
blame
-rw-r--r--
BoundedMultiplicityImpl.java
5477
log
stats
plain
blame
-rw-r--r--
BoundedScopeImpl.java
5348
log
stats
plain
blame
-rw-r--r--
CallImpl.java
6911
log
stats
plain
blame
-rw-r--r--
CaseImpl.java
6566
log
stats
plain
blame
-rw-r--r--
CastExpressionImpl.java
6404
log
stats
plain
blame
-rw-r--r--
ClassDeclarationImpl.java
9790
log
stats
plain
blame
-rw-r--r--
ConditionalExpressionImpl.java
9299
log
stats
plain
blame
-rw-r--r--
ConjunctionImpl.java
822
log
stats
plain
blame
-rw-r--r--
CountImpl.java
782
log
stats
plain
blame
-rw-r--r--
DatatypeImpl.java
792
log
stats
plain
blame
-rw-r--r--
DefaultAssertionImpl.java
859
log
stats
plain
blame
-rw-r--r--
DisjunctionImpl.java
822
log
stats
plain
blame
-rw-r--r--
EmptyLiteralImpl.java
821
log
stats
plain
blame
-rw-r--r--
EnumDeclarationImpl.java
5561
log
stats
plain
blame
-rw-r--r--
EnumLiteralImpl.java
3631
log
stats
plain
blame
-rw-r--r--
ExactMultiplicityImpl.java
3615
log
stats
plain
blame
-rw-r--r--
ExactScopeImpl.java
3494
log
stats
plain
blame
-rw-r--r--
ExpressionArgumentImpl.java
4798
log
stats
plain
blame
-rw-r--r--
ExpressionImpl.java
3781
log
stats
plain
blame
-rw-r--r--
ExternAggregationOperatorDeclarationImpl.java
6281
log
stats
plain
blame
-rw-r--r--
ExternDatatypeDeclarationImpl.java
924
log
stats
plain
blame
-rw-r--r--
ExternDeclarationImpl.java
3649
log
stats
plain
blame
-rw-r--r--
ExternFunctionDeclarationImpl.java
3997
log
stats
plain
blame
-rw-r--r--
ExternFunctorDeclarationImpl.java
5052
log
stats
plain
blame
-rw-r--r--
ExternPredicateDeclarationImpl.java
6858
log
stats
plain
blame
-rw-r--r--
FieldImpl.java
13057
log
stats
plain
blame
-rw-r--r--
ForallImpl.java
4342
log
stats
plain
blame
-rw-r--r--
FunctionDefinitionImpl.java
3883
log
stats
plain
blame
-rw-r--r--
FunctionImpl.java
3753
log
stats
plain
blame
-rw-r--r--
FunctorDefinitonImpl.java
6713
log
stats
plain
blame
-rw-r--r--
FunctorImpl.java
3613
log
stats
plain
blame
-rw-r--r--
ImportImpl.java
3595
log
stats
plain
blame
-rw-r--r--
InfinityLiteralImpl.java
842
log
stats
plain
blame
-rw-r--r--
IntLiteralImpl.java
3519
log
stats
plain
blame
-rw-r--r--
IntervalImpl.java
6995
log
stats
plain
blame
-rw-r--r--
LetBindingImpl.java
10255
log
stats
plain
blame
-rw-r--r--
LetExpressionImpl.java
6001
log
stats
plain
blame
-rw-r--r--
LiteralImpl.java
796
log
stats
plain
blame
-rw-r--r--
LogicLiteralImpl.java
3705
log
stats
plain
blame
-rw-r--r--
LowerBoundedScopeImpl.java
3808
log
stats
plain
blame
-rw-r--r--
MetricImpl.java
778
log
stats
plain
blame
-rw-r--r--
MultiaryExpessionImpl.java
3731
log
stats
plain
blame
-rw-r--r--
MultiplicityImpl.java
900
log
stats
plain
blame
-rw-r--r--
NamespaceImportImpl.java
4102
log
stats
plain
blame
-rw-r--r--
NodeImpl.java
3445
log
stats
plain
blame
-rw-r--r--
ObjectiveDeclarationImpl.java
6703
log
stats
plain
blame
-rw-r--r--
OperatorImpl.java
792
log
stats
plain
blame
-rw-r--r--
PathComponentImpl.java
9582
log
stats
plain
blame
-rw-r--r--
PredicateDefinitionImpl.java
6673
log
stats
plain
blame
-rw-r--r--
PredicateImpl.java
799
log
stats
plain
blame
-rw-r--r--
ProblemImpl.java
7934
log
stats
plain
blame
-rw-r--r--
RealLiteralImpl.java
3650
log
stats
plain
blame
-rw-r--r--
ReferenceImpl.java
3666
log
stats
plain
blame
-rw-r--r--
RelationImpl.java
800
log
stats
plain
blame
-rw-r--r--
ScopeDeclarationImpl.java
3606
log
stats
plain
blame
-rw-r--r--
SolverLanguageFactoryImpl.java
25424
log
stats
plain
blame
-rw-r--r--
SolverLanguagePackageImpl.java
108079
log
stats
plain
blame
-rw-r--r--
StarArgumentImpl.java
822
log
stats
plain
blame
-rw-r--r--
StatementImpl.java
879
log
stats
plain
blame
-rw-r--r--
StringLiteralImpl.java
3622
log
stats
plain
blame
-rw-r--r--
SwitchImpl.java
3450
log
stats
plain
blame
-rw-r--r--
SymbolImpl.java
3563
log
stats
plain
blame
-rw-r--r--
TypeReferenceImpl.java
5731
log
stats
plain
blame
-rw-r--r--
TypedArgumentImpl.java
4883
log
stats
plain
blame
-rw-r--r--
TypedStarArgumentImpl.java
864
log
stats
plain
blame
-rw-r--r--
TypedVariableArgumentImpl.java
3703
log
stats
plain
blame
-rw-r--r--
UnaryExpressionImpl.java
6298
log
stats
plain
blame
-rw-r--r--
UnboundedMultiplicityImpl.java
889
log
stats
plain
blame
-rw-r--r--
UnnamedErrorPredicateDefintionImpl.java
7588
log
stats
plain
blame
-rw-r--r--
UriImportImpl.java
3492
log
stats
plain
blame
-rw-r--r--
VariableImpl.java
4776
log
stats
plain
blame