arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Tree visit(constant)

Browse Source
This commit is contained in:
Johanna Stuber 2021-01-28 11:08:09 +01:00
parent 87304d23f1
commit 5e786746f4
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/main/java/edu/kit/typicalc/model/Tree.java
View File

@ -142,7 +142,11 @@ public class Tree implements TermVisitorTree {
@Override
public InferenceStep visit(ConstTerm constant, Map<VarTerm, TypeAbstraction> typeAssumptions, Type conclusionType) {
return null; // TODO
Constraint newConstraint = new Constraint(conclusionType, constant.getType());
constraints.add(newConstraint);
Conclusion conclusion = new Conclusion(typeAssumptions, constant, conclusionType);
return stepFactory.createConstStep(conclusion, newConstraint);
}
@Override

2
src/main/java/edu/kit/typicalc/model/step/AbsStepWithLet.java
View File

@ -9,7 +9,7 @@ import edu.kit.typicalc.model.Constraint;
*/
public class AbsStepWithLet extends AbsStep {
/**
*Initializes a new AbsStepWithLet with the given values.
* Initializes a new AbsStepWithLet with the given values.
* @param premise the premise of this step
* @param conclusion the conclusion of this step
* @param constraint constraint that can be derived from this step