Definition at line 51 of file precedences.h.
|
| PrecedencesPropagator (Model *model) |
|
bool | Propagate () final |
|
bool | Propagate (Trail *trail) final |
|
void | Untrail (const Trail &trail, int trail_index) final |
|
bool | PropagateOutgoingArcs (IntegerVariable var) |
|
void | AddPrecedence (IntegerVariable i1, IntegerVariable i2) |
|
void | AddPrecedenceWithOffset (IntegerVariable i1, IntegerVariable i2, IntegerValue offset) |
|
void | AddPrecedenceWithVariableOffset (IntegerVariable i1, IntegerVariable i2, IntegerVariable offset_var) |
|
void | AddConditionalPrecedence (IntegerVariable i1, IntegerVariable i2, Literal l) |
|
void | AddConditionalPrecedenceWithOffset (IntegerVariable i1, IntegerVariable i2, IntegerValue offset, Literal l) |
|
void | AddPrecedenceWithAllOptions (IntegerVariable i1, IntegerVariable i2, IntegerValue offset, IntegerVariable offset_var, absl::Span< const Literal > presence_literals) |
|
void | ComputePrecedences (const std::vector< IntegerVariable > &vars, std::vector< IntegerPrecedences > *output) |
|
void | AddPrecedenceReason (int arc_index, IntegerValue min_offset, std::vector< Literal > *literal_reason, std::vector< IntegerLiteral > *integer_reason) const |
|
int | AddGreaterThanAtLeastOneOfConstraints (Model *model) |
|
void | SetPropagatorId (int id) |
|
int | PropagatorId () const |
|
virtual absl::Span< const Literal > | Reason (const Trail &trail, int trail_index) const |
|
bool | PropagatePreconditionsAreSatisfied (const Trail &trail) const |
|
bool | PropagationIsDone (const Trail &trail) const |
|
◆ PrecedencesPropagator()
◆ AddConditionalPrecedence()
void AddConditionalPrecedence |
( |
IntegerVariable |
i1, |
|
|
IntegerVariable |
i2, |
|
|
Literal |
l |
|
) |
| |
|
inline |
◆ AddConditionalPrecedenceWithOffset()
void AddConditionalPrecedenceWithOffset |
( |
IntegerVariable |
i1, |
|
|
IntegerVariable |
i2, |
|
|
IntegerValue |
offset, |
|
|
Literal |
l |
|
) |
| |
|
inline |
◆ AddGreaterThanAtLeastOneOfConstraints()
int AddGreaterThanAtLeastOneOfConstraints |
( |
Model * |
model | ) |
|
◆ AddPrecedence()
void AddPrecedence |
( |
IntegerVariable |
i1, |
|
|
IntegerVariable |
i2 |
|
) |
| |
|
inline |
◆ AddPrecedenceReason()
void AddPrecedenceReason |
( |
int |
arc_index, |
|
|
IntegerValue |
min_offset, |
|
|
std::vector< Literal > * |
literal_reason, |
|
|
std::vector< IntegerLiteral > * |
integer_reason |
|
) |
| const |
◆ AddPrecedenceWithAllOptions()
void AddPrecedenceWithAllOptions |
( |
IntegerVariable |
i1, |
|
|
IntegerVariable |
i2, |
|
|
IntegerValue |
offset, |
|
|
IntegerVariable |
offset_var, |
|
|
absl::Span< const Literal > |
presence_literals |
|
) |
| |
|
inline |
◆ AddPrecedenceWithOffset()
void AddPrecedenceWithOffset |
( |
IntegerVariable |
i1, |
|
|
IntegerVariable |
i2, |
|
|
IntegerValue |
offset |
|
) |
| |
|
inline |
◆ AddPrecedenceWithVariableOffset()
void AddPrecedenceWithVariableOffset |
( |
IntegerVariable |
i1, |
|
|
IntegerVariable |
i2, |
|
|
IntegerVariable |
offset_var |
|
) |
| |
|
inline |
◆ ComputePrecedences()
void ComputePrecedences |
( |
const std::vector< IntegerVariable > & |
vars, |
|
|
std::vector< IntegerPrecedences > * |
output |
|
) |
| |
◆ Propagate() [1/2]
◆ Propagate() [2/2]
bool Propagate |
( |
Trail * |
trail | ) |
|
|
finalvirtual |
◆ PropagateOutgoingArcs()
bool PropagateOutgoingArcs |
( |
IntegerVariable |
var | ) |
|
◆ PropagatePreconditionsAreSatisfied()
bool PropagatePreconditionsAreSatisfied |
( |
const Trail & |
trail | ) |
const |
|
inlineinherited |
◆ PropagationIsDone()
bool PropagationIsDone |
( |
const Trail & |
trail | ) |
const |
|
inlineinherited |
◆ PropagatorId()
int PropagatorId |
( |
| ) |
const |
|
inlineinherited |
◆ Reason()
virtual absl::Span< const Literal > Reason |
( |
const Trail & |
trail, |
|
|
int |
trail_index |
|
) |
| const |
|
inlinevirtualinherited |
◆ SetPropagatorId()
void SetPropagatorId |
( |
int |
id | ) |
|
|
inlineinherited |
◆ Untrail()
void Untrail |
( |
const Trail & |
trail, |
|
|
int |
trail_index |
|
) |
| |
|
finalvirtual |
◆ name_
◆ propagation_trail_index_
int propagation_trail_index_ |
|
protectedinherited |
◆ propagator_id_
The documentation for this class was generated from the following files: