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
/
Alloy-Solver
/
hu.bme.mit.inf.dslreasoner.alloy.language
/
src-gen
/
hu
/
bme
/
mit
/
inf
/
dslreasoner
/
alloyLanguage
Mode
Name
Size
-rw-r--r--
ALSAnd.java
2692
log
stats
plain
blame
-rw-r--r--
ALSCardinality.java
1562
log
stats
plain
blame
-rw-r--r--
ALSDefinition.java
3399
log
stats
plain
blame
-rw-r--r--
ALSDirectProduct.java
5582
log
stats
plain
blame
-rw-r--r--
ALSDocument.java
6081
log
stats
plain
blame
-rw-r--r--
ALSEnumDeclaration.java
1361
log
stats
plain
blame
-rw-r--r--
ALSEnumLiteral.java
419
log
stats
plain
blame
-rw-r--r--
ALSEquals.java
2722
log
stats
plain
blame
-rw-r--r--
ALSFactDeclaration.java
2563
log
stats
plain
blame
-rw-r--r--
ALSFieldDeclaration.java
2926
log
stats
plain
blame
-rw-r--r--
ALSFunctionCall.java
3996
log
stats
plain
blame
-rw-r--r--
ALSFunctionDefinition.java
1579
log
stats
plain
blame
-rw-r--r--
ALSIden.java
375
log
stats
plain
blame
-rw-r--r--
ALSIff.java
2692
log
stats
plain
blame
-rw-r--r--
ALSImpl.java
3820
log
stats
plain
blame
-rw-r--r--
ALSInt.java
371
log
stats
plain
blame
-rw-r--r--
ALSIntScope.java
397
log
stats
plain
blame
-rw-r--r--
ALSIntersection.java
2782
log
stats
plain
blame
-rw-r--r--
ALSInverseRelation.java
1591
log
stats
plain
blame
-rw-r--r--
ALSJoin.java
2702
log
stats
plain
blame
-rw-r--r--
ALSLeq.java
2692
log
stats
plain
blame
-rw-r--r--
ALSLess.java
2702
log
stats
plain
blame
-rw-r--r--
ALSMeq.java
2692
log
stats
plain
blame
-rw-r--r--
ALSMinus.java
2712
log
stats
plain
blame
-rw-r--r--
ALSMore.java
2702
log
stats
plain
blame
-rw-r--r--
ALSMultiplicity.java
7839
log
stats
plain
blame
-rw-r--r--
ALSNone.java
375
log
stats
plain
blame
-rw-r--r--
ALSNot.java
1506
log
stats
plain
blame
-rw-r--r--
ALSNotEquals.java
2753
log
stats
plain
blame
-rw-r--r--
ALSNumberLiteral.java
1460
log
stats
plain
blame
-rw-r--r--
ALSNumericOperator.java
7262
log
stats
plain
blame
-rw-r--r--
ALSOr.java
2682
log
stats
plain
blame
-rw-r--r--
ALSOverride.java
2742
log
stats
plain
blame
-rw-r--r--
ALSPlus.java
2702
log
stats
plain
blame
-rw-r--r--
ALSQuantifiedEx.java
4683
log
stats
plain
blame
-rw-r--r--
ALSRangeRestrictionLeft.java
2735
log
stats
plain
blame
-rw-r--r--
ALSRangeRestrictionRight.java
2745
log
stats
plain
blame
-rw-r--r--
ALSReference.java
1527
log
stats
plain
blame
-rw-r--r--
ALSReflectiveTransitiveClosure.java
1676
log
stats
plain
blame
-rw-r--r--
ALSRelationDeclaration.java
1537
log
stats
plain
blame
-rw-r--r--
ALSRelationDefinition.java
438
log
stats
plain
blame
-rw-r--r--
ALSRunCommand.java
1382
log
stats
plain
blame
-rw-r--r--
ALSSigScope.java
2466
log
stats
plain
blame
-rw-r--r--
ALSSignatureBody.java
6457
log
stats
plain
blame
-rw-r--r--
ALSSignatureDeclaration.java
451
log
stats
plain
blame
-rw-r--r--
ALSString.java
383
log
stats
plain
blame
-rw-r--r--
ALSStringLiteral.java
1469
log
stats
plain
blame
-rw-r--r--
ALSStringScope.java
409
log
stats
plain
blame
-rw-r--r--
ALSSubset.java
2722
log
stats
plain
blame
-rw-r--r--
ALSSum.java
2403
log
stats
plain
blame
-rw-r--r--
ALSTerm.java
414
log
stats
plain
blame
-rw-r--r--
ALSTypeDeclaration.java
435
log
stats
plain
blame
-rw-r--r--
ALSTypeScope.java
1484
log
stats
plain
blame
-rw-r--r--
ALSUnaryMinus.java
1556
log
stats
plain
blame
-rw-r--r--
ALSUniv.java
375
log
stats
plain
blame
-rw-r--r--
ALSVariableDeclaration.java
1608
log
stats
plain
blame
-rw-r--r--
AlSTransitiveClosure.java
1605
log
stats
plain
blame
-rw-r--r--
AlloyLanguageFactory.java
15136
log
stats
plain
blame
-rw-r--r--
AlloyLanguagePackage.java
181509
log
stats
plain
blame
d---------
impl
2861
log
stats
plain
d---------
util
112
log
stats
plain