aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage
ModeNameSize
-rw-r--r--ALSAnd.java2692logstatsplainblame
-rw-r--r--ALSCardinality.java1562logstatsplainblame
-rw-r--r--ALSDefinition.java3399logstatsplainblame
-rw-r--r--ALSDirectProduct.java5582logstatsplainblame
-rw-r--r--ALSDocument.java6081logstatsplainblame
-rw-r--r--ALSEnumDeclaration.java1361logstatsplainblame
-rw-r--r--ALSEnumLiteral.java419logstatsplainblame
-rw-r--r--ALSEquals.java2722logstatsplainblame
-rw-r--r--ALSFactDeclaration.java2563logstatsplainblame
-rw-r--r--ALSFieldDeclaration.java2926logstatsplainblame
-rw-r--r--ALSFunctionCall.java3996logstatsplainblame
-rw-r--r--ALSFunctionDefinition.java1579logstatsplainblame
-rw-r--r--ALSIden.java375logstatsplainblame
-rw-r--r--ALSIff.java2692logstatsplainblame
-rw-r--r--ALSImpl.java3820logstatsplainblame
-rw-r--r--ALSInt.java371logstatsplainblame
-rw-r--r--ALSIntScope.java397logstatsplainblame
-rw-r--r--ALSIntersection.java2782logstatsplainblame
-rw-r--r--ALSInverseRelation.java1591logstatsplainblame
-rw-r--r--ALSJoin.java2702logstatsplainblame
-rw-r--r--ALSLeq.java2692logstatsplainblame
-rw-r--r--ALSLess.java2702logstatsplainblame
-rw-r--r--ALSMeq.java2692logstatsplainblame
-rw-r--r--ALSMinus.java2712logstatsplainblame
-rw-r--r--ALSMore.java2702logstatsplainblame
-rw-r--r--ALSMultiplicity.java7839logstatsplainblame
-rw-r--r--ALSNone.java375logstatsplainblame
-rw-r--r--ALSNot.java1506logstatsplainblame
-rw-r--r--ALSNotEquals.java2753logstatsplainblame
-rw-r--r--ALSNumberLiteral.java1460logstatsplainblame
-rw-r--r--ALSNumericOperator.java7262logstatsplainblame
-rw-r--r--ALSOr.java2682logstatsplainblame
-rw-r--r--ALSOverride.java2742logstatsplainblame
-rw-r--r--ALSPlus.java2702logstatsplainblame
-rw-r--r--ALSQuantifiedEx.java4683logstatsplainblame
-rw-r--r--ALSRangeRestrictionLeft.java2735logstatsplainblame
-rw-r--r--ALSRangeRestrictionRight.java2745logstatsplainblame
-rw-r--r--ALSReference.java1527logstatsplainblame
-rw-r--r--ALSReflectiveTransitiveClosure.java1676logstatsplainblame
-rw-r--r--ALSRelationDeclaration.java1537logstatsplainblame
-rw-r--r--ALSRelationDefinition.java438logstatsplainblame
-rw-r--r--ALSRunCommand.java1382logstatsplainblame
-rw-r--r--ALSSigScope.java2466logstatsplainblame
-rw-r--r--ALSSignatureBody.java6457logstatsplainblame
-rw-r--r--ALSSignatureDeclaration.java451logstatsplainblame
-rw-r--r--ALSString.java383logstatsplainblame
-rw-r--r--ALSStringLiteral.java1469logstatsplainblame
-rw-r--r--ALSStringScope.java409logstatsplainblame
-rw-r--r--ALSSubset.java2722logstatsplainblame
-rw-r--r--ALSSum.java2403logstatsplainblame
-rw-r--r--ALSTerm.java414logstatsplainblame
-rw-r--r--ALSTypeDeclaration.java435logstatsplainblame
-rw-r--r--ALSTypeScope.java1484logstatsplainblame
-rw-r--r--ALSUnaryMinus.java1556logstatsplainblame
-rw-r--r--ALSUniv.java375logstatsplainblame
-rw-r--r--ALSVariableDeclaration.java1608logstatsplainblame
-rw-r--r--AlSTransitiveClosure.java1605logstatsplainblame
-rw-r--r--AlloyLanguageFactory.java15136logstatsplainblame
-rw-r--r--AlloyLanguagePackage.java181509logstatsplainblame
d---------impl2861logstatsplain
d---------util112logstatsplain
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 16:38:10 +0000