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
/
Solvers
/
VIATRA-Solver
/
hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage
/
ecore-gen
/
hu
/
bme
/
mit
/
inf
/
dslreasoner
/
viatrasolver
/
partialinterpretationlanguage
/
partialinterpretation
/
impl
Mode
Name
Size
-rw-r--r--
BinaryElementRelationLinkImpl.java
6260
log
stats
plain
blame
-rw-r--r--
BooleanElementImpl.java
3975
log
stats
plain
blame
-rw-r--r--
IntegerElementImpl.java
3958
log
stats
plain
blame
-rw-r--r--
NaryRelationLinkElementImpl.java
6206
log
stats
plain
blame
-rw-r--r--
NaryRelationLinkImpl.java
4218
log
stats
plain
blame
-rw-r--r--
PartialBooleanInterpretationImpl.java
1135
log
stats
plain
blame
-rw-r--r--
PartialComplexTypeInterpretationImpl.java
6749
log
stats
plain
blame
-rw-r--r--
PartialConstantInterpretationImpl.java
4835
log
stats
plain
blame
-rw-r--r--
PartialFunctionInterpretationImpl.java
4835
log
stats
plain
blame
-rw-r--r--
PartialIntegerInterpretationImpl.java
1135
log
stats
plain
blame
-rw-r--r--
PartialInterpretationImpl.java
25161
log
stats
plain
blame
-rw-r--r--
PartialPrimitiveInterpretationImpl.java
1153
log
stats
plain
blame
-rw-r--r--
PartialRealInterpretationImpl.java
1114
log
stats
plain
blame
-rw-r--r--
PartialRelationInterpretationImpl.java
11221
log
stats
plain
blame
-rw-r--r--
PartialStringInterpretationImpl.java
1128
log
stats
plain
blame
-rw-r--r--
PartialTypeInterpratationImpl.java
6291
log
stats
plain
blame
-rw-r--r--
PartialinterpretationFactoryImpl.java
9114
log
stats
plain
blame
-rw-r--r--
PartialinterpretationPackageImpl.java
42876
log
stats
plain
blame
-rw-r--r--
PrimitiveElementImpl.java
4210
log
stats
plain
blame
-rw-r--r--
RealElementImpl.java
4039
log
stats
plain
blame
-rw-r--r--
RelationLinkImpl.java
1081
log
stats
plain
blame
-rw-r--r--
ScopeImpl.java
11300
log
stats
plain
blame
-rw-r--r--
StringElementImpl.java
4009
log
stats
plain
blame
-rw-r--r--
UnaryElementRelationLinkImpl.java
4263
log
stats
plain
blame