Interface ConstraintEncoder
-
- All Known Implementing Classes:
FormulasEncoder
,Sat4jFormulaEncoder
public interface ConstraintEncoder
ConstraintEncoder
represents an incremental constraint encoder.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
addNode(Node node)
Encodes the sub-constraint (node) and adds it to the constraint.ConstraintEncoder
clone()
Clones the encoder.Constraint
encode()
Encodes the overall constraint.
-
-
-
Method Detail
-
addNode
void addNode(Node node)
Encodes the sub-constraint (node) and adds it to the constraint.- Parameters:
node
- the node to be added.
-
encode
Constraint encode()
Encodes the overall constraint.- Returns:
- the encoded constraint.
-
clone
ConstraintEncoder clone()
Clones the encoder.- Returns:
- an encoder copy.
-
-