diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/TracedLogicProblem.xtend')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/TracedLogicProblem.xtend | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/TracedLogicProblem.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/TracedLogicProblem.xtend new file mode 100644 index 00000000..9862a6c1 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/TracedLogicProblem.xtend | |||
@@ -0,0 +1,26 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.logic.model.builder | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion | ||
4 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition | ||
10 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem | ||
11 | |||
12 | class TracedLogicProblem { | ||
13 | val LogicProblemBuilder builder = new LogicProblemBuilder | ||
14 | val LogicProblem problem = builder.createProblem | ||
15 | |||
16 | def public getProblem() { return problem } | ||
17 | |||
18 | def public add(TypeDeclaration type) { builder.add(problem,type) } | ||
19 | def public add(TypeDefinition type) { builder.add(problem,type) } | ||
20 | def public add(Function function) { builder.add(problem,function) } | ||
21 | def public add(FunctionDescription functionDescription) { builder.add(problem,functionDescription) } | ||
22 | def public add(Relation relation) { builder.add(problem, relation) } | ||
23 | def public add(Constant constant) { builder.add(problem, constant) } | ||
24 | def public add(Assertion assertion) { builder.add(problem,assertion) } | ||
25 | def public add(TermDescription termDescription) { builder.add(problem,termDescription) } | ||
26 | } | ||