Class FormulasEncoder
- java.lang.Object
-
- ru.ispras.fortress.solver.constraint.FormulasEncoder
-
- All Implemented Interfaces:
ConstraintEncoder
public final class FormulasEncoder extends java.lang.Object implements ConstraintEncoder
FormulasEncoder
implements a trivial constraint encoder.
-
-
Constructor Summary
Constructors Constructor Description FormulasEncoder()
FormulasEncoder(FormulasEncoder r)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addNode(Node node)
Encodes the sub-constraint (node) and adds it to the constraint.FormulasEncoder
clone()
Clones the encoder.Constraint
encode()
Encodes the overall constraint.
-
-
-
Constructor Detail
-
FormulasEncoder
public FormulasEncoder()
-
FormulasEncoder
public FormulasEncoder(FormulasEncoder r)
-
-
Method Detail
-
addNode
public void addNode(Node node)
Description copied from interface:ConstraintEncoder
Encodes the sub-constraint (node) and adds it to the constraint.- Specified by:
addNode
in interfaceConstraintEncoder
- Parameters:
node
- the node to be added.
-
encode
public Constraint encode()
Description copied from interface:ConstraintEncoder
Encodes the overall constraint.- Specified by:
encode
in interfaceConstraintEncoder
- Returns:
- the encoded constraint.
-
clone
public FormulasEncoder clone()
Description copied from interface:ConstraintEncoder
Clones the encoder.- Specified by:
clone
in interfaceConstraintEncoder
- Overrides:
clone
in classjava.lang.Object
- Returns:
- an encoder copy.
-
-