Class PathConstraintBuilder
- java.lang.Object
-
- ru.ispras.microtesk.translator.nml.coverage.PathConstraintBuilder
-
public final class PathConstraintBuilder extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description PathConstraintBuilder(java.util.Collection<? extends ru.ispras.fortress.expression.Node> formulas)
PathConstraintBuilder(ru.ispras.fortress.expression.Node node)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ru.ispras.fortress.solver.constraint.Constraint
build()
ru.ispras.fortress.solver.constraint.Constraint
build(java.util.Collection<? extends ru.ispras.fortress.expression.Node> conditions)
ru.ispras.fortress.solver.constraint.Constraint
build(ru.ispras.fortress.expression.Node condition)
ru.ispras.microtesk.translator.nml.coverage.Paths
getPaths()
java.util.List<ru.ispras.fortress.expression.NodeVariable>
getSpecialMarks()
java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeVariable>
getVariables()
-
-
-
Method Detail
-
getVariables
public java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeVariable> getVariables()
-
getPaths
public ru.ispras.microtesk.translator.nml.coverage.Paths getPaths()
-
getSpecialMarks
public java.util.List<ru.ispras.fortress.expression.NodeVariable> getSpecialMarks()
-
build
public ru.ispras.fortress.solver.constraint.Constraint build()
-
build
public ru.ispras.fortress.solver.constraint.Constraint build(ru.ispras.fortress.expression.Node condition)
-
build
public ru.ispras.fortress.solver.constraint.Constraint build(java.util.Collection<? extends ru.ispras.fortress.expression.Node> conditions)
-
-