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
/
Framework
/
hu.bme.mit.inf.dslreasoner.logic.model
/
ecore-gen
/
hu
/
bme
/
mit
/
inf
/
dslreasoner
/
logic
/
model
/
logiclanguage
/
impl
Mode
Name
Size
-rw-r--r--
AggregateExpressionImpl.java
4004
log
stats
plain
blame
-rw-r--r--
AndImpl.java
3660
log
stats
plain
blame
-rw-r--r--
AssertionImpl.java
8739
log
stats
plain
blame
-rw-r--r--
AtomicTermImpl.java
857
log
stats
plain
blame
-rw-r--r--
BoolLiteralImpl.java
3744
log
stats
plain
blame
-rw-r--r--
BoolOperationImpl.java
878
log
stats
plain
blame
-rw-r--r--
BoolTypeReferenceImpl.java
917
log
stats
plain
blame
-rw-r--r--
ComplexTypeReferenceImpl.java
3990
log
stats
plain
blame
-rw-r--r--
ConstantDeclarationImpl.java
915
log
stats
plain
blame
-rw-r--r--
ConstantDefinitionImpl.java
6736
log
stats
plain
blame
-rw-r--r--
ConstantImpl.java
6877
log
stats
plain
blame
-rw-r--r--
CountImpl.java
826
log
stats
plain
blame
-rw-r--r--
DefinedElementImpl.java
4576
log
stats
plain
blame
-rw-r--r--
DistinctImpl.java
3734
log
stats
plain
blame
-rw-r--r--
DivisonImpl.java
837
log
stats
plain
blame
-rw-r--r--
EqualsImpl.java
7217
log
stats
plain
blame
-rw-r--r--
ExistsImpl.java
834
log
stats
plain
blame
-rw-r--r--
ForallImpl.java
834
log
stats
plain
blame
-rw-r--r--
FunctionDeclarationImpl.java
915
log
stats
plain
blame
-rw-r--r--
FunctionDefinitionImpl.java
8354
log
stats
plain
blame
-rw-r--r--
FunctionImpl.java
8311
log
stats
plain
blame
-rw-r--r--
IfThenElseImpl.java
9297
log
stats
plain
blame
-rw-r--r--
IffImpl.java
7132
log
stats
plain
blame
-rw-r--r--
ImplImpl.java
7159
log
stats
plain
blame
-rw-r--r--
InstanceOfImpl.java
6903
log
stats
plain
blame
-rw-r--r--
IntLiteralImpl.java
3714
log
stats
plain
blame
-rw-r--r--
IntTypeReferenceImpl.java
910
log
stats
plain
blame
-rw-r--r--
LessOrEqualThanImpl.java
7520
log
stats
plain
blame
-rw-r--r--
LessThanImpl.java
7291
log
stats
plain
blame
-rw-r--r--
LogiclanguageFactoryImpl.java
16159
log
stats
plain
blame
-rw-r--r--
LogiclanguagePackageImpl.java
82059
log
stats
plain
blame
-rw-r--r--
MaxImpl.java
821
log
stats
plain
blame
-rw-r--r--
MinImpl.java
821
log
stats
plain
blame
-rw-r--r--
MinusImpl.java
823
log
stats
plain
blame
-rw-r--r--
ModImpl.java
809
log
stats
plain
blame
-rw-r--r--
MoreOrEqualThanImpl.java
7520
log
stats
plain
blame
-rw-r--r--
MoreThanImpl.java
7291
log
stats
plain
blame
-rw-r--r--
MultiplyImpl.java
844
log
stats
plain
blame
-rw-r--r--
NotImpl.java
4539
log
stats
plain
blame
-rw-r--r--
NumericOperationImpl.java
7503
log
stats
plain
blame
-rw-r--r--
OrImpl.java
3646
log
stats
plain
blame
-rw-r--r--
PlusImpl.java
816
log
stats
plain
blame
-rw-r--r--
PowImpl.java
809
log
stats
plain
blame
-rw-r--r--
PrimitiveRelationImpl.java
906
log
stats
plain
blame
-rw-r--r--
PrimitiveTypeReferenceImpl.java
952
log
stats
plain
blame
-rw-r--r--
ProjectedAggregateExpressionImpl.java
4326
log
stats
plain
blame
-rw-r--r--
QuantifiedExpressionImpl.java
6864
log
stats
plain
blame
-rw-r--r--
RealLiteralImpl.java
3847
log
stats
plain
blame
-rw-r--r--
RealTypeReferenceImpl.java
917
log
stats
plain
blame
-rw-r--r--
RelationDeclarationImpl.java
915
log
stats
plain
blame
-rw-r--r--
RelationDefinitionImpl.java
8381
log
stats
plain
blame
-rw-r--r--
RelationImpl.java
5981
log
stats
plain
blame
-rw-r--r--
StringLiteralImpl.java
3817
log
stats
plain
blame
-rw-r--r--
StringTypeReferenceImpl.java
931
log
stats
plain
blame
-rw-r--r--
SumImpl.java
821
log
stats
plain
blame
-rw-r--r--
SymbolicDeclarationImpl.java
3964
log
stats
plain
blame
-rw-r--r--
SymbolicValueImpl.java
6620
log
stats
plain
blame
-rw-r--r--
TermImpl.java
890
log
stats
plain
blame
-rw-r--r--
TransitiveClosureImpl.java
9474
log
stats
plain
blame
-rw-r--r--
TypeDeclarationImpl.java
883
log
stats
plain
blame
-rw-r--r--
TypeDefinitionImpl.java
6489
log
stats
plain
blame
-rw-r--r--
TypeImpl.java
9203
log
stats
plain
blame
-rw-r--r--
TypeReferenceImpl.java
955
log
stats
plain
blame
-rw-r--r--
UnknownBecauseUninterpretedImpl.java
969
log
stats
plain
blame
-rw-r--r--
VariableImpl.java
4618
log
stats
plain
blame