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