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
6308
log
stats
plain
blame
-rw-r--r--
BooleanElementImpl.java
4001
log
stats
plain
blame
-rw-r--r--
IntegerElementImpl.java
3984
log
stats
plain
blame
-rw-r--r--
NaryRelationLinkElementImpl.java
6256
log
stats
plain
blame
-rw-r--r--
NaryRelationLinkImpl.java
4230
log
stats
plain
blame
-rw-r--r--
PartialBooleanInterpretationImpl.java
1135
log
stats
plain
blame
-rw-r--r--
PartialComplexTypeInterpretationImpl.java
6785
log
stats
plain
blame
-rw-r--r--
PartialConstantInterpretationImpl.java
4859
log
stats
plain
blame
-rw-r--r--
PartialFunctionInterpretationImpl.java
4859
log
stats
plain
blame
-rw-r--r--
PartialIntegerInterpretationImpl.java
1135
log
stats
plain
blame
-rw-r--r--
PartialInterpretationImpl.java
27634
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
11305
log
stats
plain
blame
-rw-r--r--
PartialStringInterpretationImpl.java
1128
log
stats
plain
blame
-rw-r--r--
PartialTypeInterpratationImpl.java
6315
log
stats
plain
blame
-rw-r--r--
PartialinterpretationFactoryImpl.java
9342
log
stats
plain
blame
-rw-r--r--
PartialinterpretationPackageImpl.java
44807
log
stats
plain
blame
-rw-r--r--
PrimitiveElementImpl.java
4236
log
stats
plain
blame
-rw-r--r--
RealElementImpl.java
3959
log
stats
plain
blame
-rw-r--r--
RelationLinkImpl.java
1081
log
stats
plain
blame
-rw-r--r--
ScopeImpl.java
13564
log
stats
plain
blame
-rw-r--r--
StringElementImpl.java
4035
log
stats
plain
blame
-rw-r--r--
UnaryElementRelationLinkImpl.java
4287
log
stats
plain
blame