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--
AndImpl.java
3648
log
stats
plain
blame
-rw-r--r--
AssertionImpl.java
8677
log
stats
plain
blame
-rw-r--r--
AtomicTermImpl.java
857
log
stats
plain
blame
-rw-r--r--
BoolLiteralImpl.java
3718
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
3966
log
stats
plain
blame
-rw-r--r--
ConstantDeclarationImpl.java
915
log
stats
plain
blame
-rw-r--r--
ConstantDefinitionImpl.java
6688
log
stats
plain
blame
-rw-r--r--
ConstantImpl.java
6841
log
stats
plain
blame
-rw-r--r--
DefinedElementImpl.java
4564
log
stats
plain
blame
-rw-r--r--
DistinctImpl.java
3722
log
stats
plain
blame
-rw-r--r--
DivisonImpl.java
833
log
stats
plain
blame
-rw-r--r--
EqualsImpl.java
7169
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
8294
log
stats
plain
blame
-rw-r--r--
FunctionImpl.java
8263
log
stats
plain
blame
-rw-r--r--
IfThenElseImpl.java
9225
log
stats
plain
blame
-rw-r--r--
IffImpl.java
7084
log
stats
plain
blame
-rw-r--r--
ImplImpl.java
7111
log
stats
plain
blame
-rw-r--r--
InstanceOfImpl.java
6855
log
stats
plain
blame
-rw-r--r--
IntLiteralImpl.java
3688
log
stats
plain
blame
-rw-r--r--
IntOperationImpl.java
7347
log
stats
plain
blame
-rw-r--r--
IntTypeReferenceImpl.java
910
log
stats
plain
blame
-rw-r--r--
LessOrEqualThanImpl.java
7472
log
stats
plain
blame
-rw-r--r--
LessThanImpl.java
7243
log
stats
plain
blame
-rw-r--r--
LogiclanguageFactoryImpl.java
14460
log
stats
plain
blame
-rw-r--r--
LogiclanguagePackageImpl.java
74966
log
stats
plain
blame
-rw-r--r--
MinusImpl.java
819
log
stats
plain
blame
-rw-r--r--
ModImpl.java
805
log
stats
plain
blame
-rw-r--r--
MoreOrEqualThanImpl.java
7472
log
stats
plain
blame
-rw-r--r--
MoreThanImpl.java
7243
log
stats
plain
blame
-rw-r--r--
MultiplyImpl.java
840
log
stats
plain
blame
-rw-r--r--
NotImpl.java
4515
log
stats
plain
blame
-rw-r--r--
OrImpl.java
3634
log
stats
plain
blame
-rw-r--r--
PlusImpl.java
812
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--
QuantifiedExpressionImpl.java
6828
log
stats
plain
blame
-rw-r--r--
RealLiteralImpl.java
3821
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
8321
log
stats
plain
blame
-rw-r--r--
RelationImpl.java
5957
log
stats
plain
blame
-rw-r--r--
StringLiteralImpl.java
3791
log
stats
plain
blame
-rw-r--r--
StringTypeReferenceImpl.java
931
log
stats
plain
blame
-rw-r--r--
SymbolicDeclarationImpl.java
3938
log
stats
plain
blame
-rw-r--r--
SymbolicValueImpl.java
6584
log
stats
plain
blame
-rw-r--r--
TermImpl.java
890
log
stats
plain
blame
-rw-r--r--
TransitiveClosureImpl.java
9402
log
stats
plain
blame
-rw-r--r--
TypeDeclarationImpl.java
883
log
stats
plain
blame
-rw-r--r--
TypeDefinitionImpl.java
6453
log
stats
plain
blame
-rw-r--r--
TypeImpl.java
9129
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
4594
log
stats
plain
blame