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
/
Tests
/
MODELS2020-CaseStudies
/
case.study.pledge.queries
/
src-gen
/
queries
Mode
Name
Size
-rw-r--r--
.gitignore
1850
log
stats
plain
blame
-rw-r--r--
Case_study_A.java
12404
log
stats
plain
blame
-rw-r--r--
Inv03.java
26186
log
stats
plain
blame
-rw-r--r--
Inv05.java
29475
log
stats
plain
blame
-rw-r--r--
Inv06.java
23242
log
stats
plain
blame
-rw-r--r--
Inv07.java
19852
log
stats
plain
blame
-rw-r--r--
Inv08.java
29637
log
stats
plain
blame
-rw-r--r--
Inv10.java
24288
log
stats
plain
blame
-rw-r--r--
Inv11.java
20723
log
stats
plain
blame
-rw-r--r--
Inv12.java
22788
log
stats
plain
blame
-rw-r--r--
Inv13.java
23050
log
stats
plain
blame
-rw-r--r--
Inv15.java
20761
log
stats
plain
blame
-rw-r--r--
Inv17.java
25218
log
stats
plain
blame
-rw-r--r--
Inv20.java
22823
log
stats
plain
blame
-rw-r--r--
Inv33.java
25617
log
stats
plain
blame
-rw-r--r--
Inv34.java
24988
log
stats
plain
blame
-rw-r--r--
Inv35.java
24912
log
stats
plain
blame
-rw-r--r--
Inv47.java
24997
log
stats
plain
blame
-rw-r--r--
Inv48.java
20700
log
stats
plain
blame
-rw-r--r--
Inv49.java
20696
log
stats
plain
blame
-rw-r--r--
X_inv03_eligAll.java
23811
log
stats
plain
blame
-rw-r--r--
X_inv03_hasAll.java
20758
log
stats
plain
blame
-rw-r--r--
X_inv05_inRange.java
25209
log
stats
plain
blame
-rw-r--r--
X_inv08_inRange.java
25327
log
stats
plain
blame
-rw-r--r--
X_inv08_noType.java
20650
log
stats
plain
blame
-rw-r--r--
X_inv08_notEI.java
20269
log
stats
plain
blame
-rw-r--r--
X_inv11_incNotOver100.java
26348
log
stats
plain
blame
-rw-r--r--
X_inv11_incOver100.java
25118
log
stats
plain
blame
-rw-r--r--
X_inv12_notNonRes.java
20182
log
stats
plain
blame
-rw-r--r--
X_inv12_notZZ.java
21601
log
stats
plain
blame
-rw-r--r--
X_inv13.java
19797
log
stats
plain
blame
-rw-r--r--
X_inv15.java
28922
log
stats
plain
blame
-rw-r--r--
X_inv47.java
22167
log
stats
plain
blame
-rw-r--r--
X_inv48_3.java
20901
log
stats
plain
blame
-rw-r--r--
X_inv48_Dis.java
23321
log
stats
plain
blame
-rw-r--r--
X_inv48_notDis.java
22289
log
stats
plain
blame
-rw-r--r--
X_inv49_1.java
22826
log
stats
plain
blame
-rw-r--r--
X_inv49_2.java
19597
log
stats
plain
blame