choco
Interface BoolModeler

All Known Implementing Classes:

AbstractModel, AbstractProblem, BendersProblem, JumpProblem, PalmProblem, Problem

public interface BoolModeler

Method Summary

Constraint	and(Constraint c1, Constraint c2) Creates a conjunction from two constraints
Constraint	ifOnlyIf(Constraint c1, Constraint c2) Creates an equivalence from two constraints
Constraint	ifThen(Constraint c1, Constraint c2) Creates a lazy implication from two constraints
Constraint	implies(Constraint c1, Constraint c2) Creates an implication from two constraints
Constraint	not(Constraint c) Creates the logical opposite of a constraint
Constraint	or(Constraint c1, Constraint c2) Creates a disjunction from two constraints

Method Detail

or

Constraint or(Constraint c1,
              Constraint c2)

Creates a disjunction from two constraints

Parameters:

c1 - the first branch

c2 - the second branch

Returns:

the disjunction constraint

and

Constraint and(Constraint c1,
               Constraint c2)

Creates a conjunction from two constraints

Parameters:

c1 - the first branch

c2 - the second branch

Returns:

the conjunction constraint

implies

Constraint implies(Constraint c1,
                   Constraint c2)

Creates an implication from two constraints

Parameters:

c1 - the condition constraint

c2 - the conclusion constraint

Returns:

the implication constraint (implemented as a disjunction between the conclusion and the opposite of the condition)

ifThen

Constraint ifThen(Constraint c1,
                  Constraint c2)

Creates a lazy implication from two constraints

Parameters:

c1 - the condition constraint

c2 - the conclusion constraint

Returns:

the implication constraint

ifOnlyIf

Constraint ifOnlyIf(Constraint c1,
                    Constraint c2)

Creates an equivalence from two constraints

Parameters:

c1 - the first branch

c2 - the second branch

Returns:

the equivalence constraint

not

Constraint not(Constraint c)

Creates the logical opposite of a constraint

Parameters:

c - the constraint to be negated

Returns:

the negation of the constraint