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
Mode
Name
Size
-rw-r--r--
And.java
1295
log
stats
plain
blame
-rw-r--r--
Assertion.java
3743
log
stats
plain
blame
-rw-r--r--
AtomicTerm.java
423
log
stats
plain
blame
-rw-r--r--
BoolLiteral.java
1486
log
stats
plain
blame
-rw-r--r--
BoolOperation.java
435
log
stats
plain
blame
-rw-r--r--
BoolTypeReference.java
454
log
stats
plain
blame
-rw-r--r--
ComplexTypeReference.java
1571
log
stats
plain
blame
-rw-r--r--
Constant.java
2754
log
stats
plain
blame
-rw-r--r--
ConstantDeclaration.java
447
log
stats
plain
blame
-rw-r--r--
ConstantDefinition.java
2669
log
stats
plain
blame
-rw-r--r--
DefinedElement.java
1658
log
stats
plain
blame
-rw-r--r--
Distinct.java
1329
log
stats
plain
blame
-rw-r--r--
Divison.java
402
log
stats
plain
blame
-rw-r--r--
Equals.java
2730
log
stats
plain
blame
-rw-r--r--
Exists.java
406
log
stats
plain
blame
-rw-r--r--
Forall.java
406
log
stats
plain
blame
-rw-r--r--
Function.java
3594
log
stats
plain
blame
-rw-r--r--
FunctionDeclaration.java
447
log
stats
plain
blame
-rw-r--r--
FunctionDefinition.java
3537
log
stats
plain
blame
-rw-r--r--
IfThenElse.java
3775
log
stats
plain
blame
-rw-r--r--
Iff.java
2696
log
stats
plain
blame
-rw-r--r--
Impl.java
2706
log
stats
plain
blame
-rw-r--r--
InstanceOf.java
2634
log
stats
plain
blame
-rw-r--r--
IntLiteral.java
1471
log
stats
plain
blame
-rw-r--r--
IntOperation.java
2794
log
stats
plain
blame
-rw-r--r--
IntTypeReference.java
450
log
stats
plain
blame
-rw-r--r--
LessOrEqualThan.java
2823
log
stats
plain
blame
-rw-r--r--
LessThan.java
2751
log
stats
plain
blame
-rw-r--r--
LogiclanguageFactory.java
11416
log
stats
plain
blame
-rw-r--r--
LogiclanguagePackage.java
182302
log
stats
plain
blame
-rw-r--r--
Minus.java
394
log
stats
plain
blame
-rw-r--r--
Mod.java
386
log
stats
plain
blame
-rw-r--r--
MoreOrEqualThan.java
2823
log
stats
plain
blame
-rw-r--r--
MoreThan.java
2751
log
stats
plain
blame
-rw-r--r--
Multiply.java
406
log
stats
plain
blame
-rw-r--r--
Not.java
1516
log
stats
plain
blame
-rw-r--r--
Or.java
1289
log
stats
plain
blame
-rw-r--r--
Plus.java
390
log
stats
plain
blame
-rw-r--r--
PrimitiveRelation.java
451
log
stats
plain
blame
-rw-r--r--
PrimitiveTypeReference.java
481
log
stats
plain
blame
-rw-r--r--
QuantifiedExpression.java
2635
log
stats
plain
blame
-rw-r--r--
RealLiteral.java
1529
log
stats
plain
blame
-rw-r--r--
RealTypeReference.java
454
log
stats
plain
blame
-rw-r--r--
Relation.java
2511
log
stats
plain
blame
-rw-r--r--
RelationDeclaration.java
447
log
stats
plain
blame
-rw-r--r--
RelationDefinition.java
3544
log
stats
plain
blame
-rw-r--r--
StringLiteral.java
1501
log
stats
plain
blame
-rw-r--r--
StringTypeReference.java
462
log
stats
plain
blame
-rw-r--r--
SymbolicDeclaration.java
1554
log
stats
plain
blame
-rw-r--r--
SymbolicValue.java
2632
log
stats
plain
blame
-rw-r--r--
Term.java
409
log
stats
plain
blame
-rw-r--r--
TermDescription.java
502
log
stats
plain
blame
-rw-r--r--
TransitiveClosure.java
3865
log
stats
plain
blame
-rw-r--r--
Type.java
4511
log
stats
plain
blame
-rw-r--r--
TypeDeclaration.java
427
log
stats
plain
blame
-rw-r--r--
TypeDefinition.java
2654
log
stats
plain
blame
-rw-r--r--
TypeDescriptor.java
498
log
stats
plain
blame
-rw-r--r--
TypeReference.java
445
log
stats
plain
blame
-rw-r--r--
UnknownBecauseUninterpreted.java
476
log
stats
plain
blame
-rw-r--r--
Variable.java
1574
log
stats
plain
blame
d---------
impl
2840
log
stats
plain
d---------
util
112
log
stats
plain