C++ Reference: class NoCyclePropagator

Note: This documentation is automatically generated.

Enforce the fact that there is no cycle in the given directed graph.
Method
IncrementalPropagate

Return type: bool

Arguments: const std::vector<int>& watch_indices

NoCyclePropagator

Arguments: int num_nodes, const std::vector<int>& tails, const std::vector<int>& heads, const std::vector<Literal>& literals, Model* model

Propagate

Return type: bool

SetLevel

Return type: void

Arguments: int level