aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns
ModeNameSize
-rw-r--r--ContainmentIndexer.xtend1633logstatsplainblame
-rw-r--r--GenericTypeIndexer.xtend6358logstatsplainblame
-rw-r--r--GenericTypeRefinementGenerator.xtend7262logstatsplainblame
-rw-r--r--InvalidIndexer.xtend2168logstatsplainblame
-rw-r--r--PConstraintTransformer.xtend14459logstatsplainblame
-rw-r--r--PExpressionGenerator.xtend5867logstatsplainblame
-rw-r--r--PatternGenerator.xtend15705logstatsplainblame
-rw-r--r--PatternProvider.xtend9201logstatsplainblame
-rw-r--r--RelationDeclarationIndexer.xtend6748logstatsplainblame
-rw-r--r--RelationDefinitionIndexer.xtend4757logstatsplainblame
-rw-r--r--RelationRefinementGenerator.xtend4381logstatsplainblame
-rw-r--r--TypeIndexer.xtend5441logstatsplainblame
-rw-r--r--TypeIndexerWithPreliminaryTypeAnalysis.xtend2376logstatsplainblame
-rw-r--r--TypeRefinementGenerator.xtend4516logstatsplainblame
-rw-r--r--TypeRefinementWithPreliminaryTypeAnalysis.xtend7355logstatsplainblame
-rw-r--r--UnfinishedIndexer.xtend7547logstatsplainblame
-rw-r--r--UnitPropagationPreconditionGenerator.xtend14466logstatsplainblame
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-13 16:52:01 +0000