public final class PathConstraintBuilder
extends java.lang.Object
Constructor and Description |
---|
PathConstraintBuilder(ru.ispras.fortress.expression.Node ssa) |
Modifier and Type | Method and Description |
---|---|
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.fortress.solver.constraint.ConstraintBuilder |
getConstraintBuilder() |
Paths |
getPaths() |
java.util.List<ru.ispras.fortress.expression.NodeVariable> |
getSpecialMarks() |
java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeVariable> |
getVariables() |
public PathConstraintBuilder(ru.ispras.fortress.expression.Node ssa)
public java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeVariable> getVariables()
public ru.ispras.fortress.solver.constraint.ConstraintBuilder getConstraintBuilder()
public Paths getPaths()
public java.util.List<ru.ispras.fortress.expression.NodeVariable> getSpecialMarks()
public ru.ispras.fortress.solver.constraint.Constraint build(ru.ispras.fortress.expression.Node condition)
public ru.ispras.fortress.solver.constraint.Constraint build(java.util.Collection<? extends ru.ispras.fortress.expression.Node> conditions)