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
/
Application
/
hu.bme.mit.inf.dslreasoner.application
/
src-gen
/
hu
/
bme
/
mit
/
inf
/
dslreasoner
/
application
/
applicationConfiguration
Mode
Name
Size
-rw-r--r--
AllPackageEntry.java
1482
log
stats
plain
blame
-rw-r--r--
AllPatternEntry.java
1483
log
stats
plain
blame
-rw-r--r--
ApplicationConfigurationFactory.java
21678
log
stats
plain
blame
-rw-r--r--
ApplicationConfigurationPackage.java
242863
log
stats
plain
blame
-rw-r--r--
CftImport.java
1701
log
stats
plain
blame
-rw-r--r--
ClassReference.java
1711
log
stats
plain
blame
-rw-r--r--
ClassTypeScope.java
1663
log
stats
plain
blame
-rw-r--r--
Command.java
480
log
stats
plain
blame
-rw-r--r--
ComparisonOperator.java
6721
log
stats
plain
blame
-rw-r--r--
Config.java
476
log
stats
plain
blame
-rw-r--r--
ConfigDeclaration.java
1817
log
stats
plain
blame
-rw-r--r--
ConfigEntry.java
497
log
stats
plain
blame
-rw-r--r--
ConfigReference.java
1622
log
stats
plain
blame
-rw-r--r--
ConfigSpecification.java
1473
log
stats
plain
blame
-rw-r--r--
ConfigurationScript.java
2370
log
stats
plain
blame
-rw-r--r--
CostEntry.java
2814
log
stats
plain
blame
-rw-r--r--
CostObjectiveFunction.java
1493
log
stats
plain
blame
-rw-r--r--
CustomEntry.java
2544
log
stats
plain
blame
-rw-r--r--
Declaration.java
1535
log
stats
plain
blame
-rw-r--r--
DocumentLevelSpecification.java
6050
log
stats
plain
blame
-rw-r--r--
DocumentationEntry.java
2007
log
stats
plain
blame
-rw-r--r--
EPackageImport.java
1750
log
stats
plain
blame
-rw-r--r--
ExactNumber.java
2775
log
stats
plain
blame
-rw-r--r--
File.java
468
log
stats
plain
blame
-rw-r--r--
FileDeclaration.java
1797
log
stats
plain
blame
-rw-r--r--
FileReference.java
1626
log
stats
plain
blame
-rw-r--r--
FileSpecification.java
1575
log
stats
plain
blame
-rw-r--r--
FolderEntry.java
1448
log
stats
plain
blame
-rw-r--r--
GenerationTask.java
18016
log
stats
plain
blame
-rw-r--r--
GraphPattern.java
501
log
stats
plain
blame
-rw-r--r--
GraphPatternDeclaration.java
1863
log
stats
plain
blame
-rw-r--r--
GraphPatternReference.java
1715
log
stats
plain
blame
-rw-r--r--
Import.java
476
log
stats
plain
blame
-rw-r--r--
IntEnumberation.java
1346
log
stats
plain
blame
-rw-r--r--
IntegerReference.java
485
log
stats
plain
blame
-rw-r--r--
IntegerScope.java
472
log
stats
plain
blame
-rw-r--r--
IntegerTypeScope.java
1683
log
stats
plain
blame
-rw-r--r--
IntervallNumber.java
3757
log
stats
plain
blame
-rw-r--r--
MemoryEntry.java
1654
log
stats
plain
blame
-rw-r--r--
Metamodel.java
488
log
stats
plain
blame
-rw-r--r--
MetamodelDeclaration.java
1847
log
stats
plain
blame
-rw-r--r--
MetamodelElement.java
2836
log
stats
plain
blame
-rw-r--r--
MetamodelEntry.java
1679
log
stats
plain
blame
-rw-r--r--
MetamodelReference.java
1681
log
stats
plain
blame
-rw-r--r--
MetamodelSpecification.java
1500
log
stats
plain
blame
-rw-r--r--
ModelEntry.java
465
log
stats
plain
blame
-rw-r--r--
Mtff.java
451
log
stats
plain
blame
-rw-r--r--
NumberSpecification.java
529
log
stats
plain
blame
-rw-r--r--
ObjectReference.java
481
log
stats
plain
blame
-rw-r--r--
ObjectTypeScope.java
1673
log
stats
plain
blame
-rw-r--r--
Objective.java
488
log
stats
plain
blame
-rw-r--r--
ObjectiveDeclaration.java
1847
log
stats
plain
blame
-rw-r--r--
ObjectiveEntry.java
1759
log
stats
plain
blame
-rw-r--r--
ObjectiveFunction.java
521
log
stats
plain
blame
-rw-r--r--
ObjectiveReference.java
1681
log
stats
plain
blame
-rw-r--r--
ObjectiveSpecification.java
1500
log
stats
plain
blame
-rw-r--r--
OptimizationDirection.java
5415
log
stats
plain
blame
-rw-r--r--
OptimizationEntry.java
2025
log
stats
plain
blame
-rw-r--r--
PartialModel.java
501
log
stats
plain
blame
-rw-r--r--
PartialModelDeclaration.java
1878
log
stats
plain
blame
-rw-r--r--
PartialModelEntry.java
1690
log
stats
plain
blame
-rw-r--r--
PartialModelReference.java
1715
log
stats
plain
blame
-rw-r--r--
PartialModelSpecification.java
1514
log
stats
plain
blame
-rw-r--r--
PatternElement.java
1669
log
stats
plain
blame
-rw-r--r--
PatternEntry.java
1709
log
stats
plain
blame
-rw-r--r--
PatternSpecification.java
1487
log
stats
plain
blame
-rw-r--r--
RealEnumeration.java
1382
log
stats
plain
blame
-rw-r--r--
RealReference.java
473
log
stats
plain
blame
-rw-r--r--
RealScope.java
457
log
stats
plain
blame
-rw-r--r--
RealTypeScope.java
1653
log
stats
plain
blame
-rw-r--r--
ReliabilityObjectiveFunction.java
3120
log
stats
plain
blame
-rw-r--r--
ReliabiltiyProbability.java
1675
log
stats
plain
blame
-rw-r--r--
RuntimeEntry.java
1661
log
stats
plain
blame
-rw-r--r--
Scope.java
472
log
stats
plain
blame
-rw-r--r--
ScopeDeclaration.java
1807
log
stats
plain
blame
-rw-r--r--
ScopeReference.java
1637
log
stats
plain
blame
-rw-r--r--
ScopeSpecification.java
1455
log
stats
plain
blame
-rw-r--r--
Solver.java
5942
log
stats
plain
blame
-rw-r--r--
StringEnumeration.java
1356
log
stats
plain
blame
-rw-r--r--
StringReference.java
481
log
stats
plain
blame
-rw-r--r--
StringScope.java
467
log
stats
plain
blame
-rw-r--r--
StringTypeScope.java
1673
log
stats
plain
blame
-rw-r--r--
Task.java
430
log
stats
plain
blame
-rw-r--r--
ThresholdEntry.java
3092
log
stats
plain
blame
-rw-r--r--
TypeReference.java
505
log
stats
plain
blame
-rw-r--r--
TypeScope.java
3788
log
stats
plain
blame
-rw-r--r--
ViatraImport.java
1766
log
stats
plain
blame
d---------
impl
4308
log
stats
plain
d---------
util
134
log
stats
plain