Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::CircuitPropagator Class Reference

Detailed Description

Definition at line 46 of file circuit.h.

#include <circuit.h>

Inheritance diagram for operations_research::sat::CircuitPropagator:
operations_research::sat::PropagatorInterface operations_research::ReversibleInterface

Classes

struct  Options

Public Member Functions

 CircuitPropagator (int num_nodes, absl::Span< const int > tails, absl::Span< const int > heads, absl::Span< const Literal > enforcement_literals, absl::Span< const Literal > literals, Options options, Model *model)
 CircuitPropagator (const CircuitPropagator &)=delete
CircuitPropagator & operator= (const CircuitPropagator &)=delete
void SetLevel (int level) final
bool Propagate () final
bool IncrementalPropagate (const std::vector< int > &watch_indices) final

Constructor & Destructor Documentation

◆ CircuitPropagator() [1/2]

operations_research::sat::CircuitPropagator::CircuitPropagator ( int num_nodes,
absl::Span< const int > tails,
absl::Span< const int > heads,
absl::Span< const Literal > enforcement_literals,
absl::Span< const Literal > literals,
Options options,
Model * model )

Definition at line 39 of file circuit.cc.

◆ CircuitPropagator() [2/2]

operations_research::sat::CircuitPropagator::CircuitPropagator ( const CircuitPropagator & )
delete

Member Function Documentation

◆ IncrementalPropagate()

bool operations_research::sat::CircuitPropagator::IncrementalPropagate ( const std::vector< int > & watch_indices)
finalvirtual

Reimplemented from operations_research::sat::PropagatorInterface.

Definition at line 204 of file circuit.cc.

◆ operator=()

CircuitPropagator & operations_research::sat::CircuitPropagator::operator= ( const CircuitPropagator & )
delete

◆ Propagate()

bool operations_research::sat::CircuitPropagator::Propagate ( )
finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 253 of file circuit.cc.

◆ SetLevel()

void operations_research::sat::CircuitPropagator::SetLevel ( int level)
finalvirtual

Implements operations_research::ReversibleInterface.

Definition at line 145 of file circuit.cc.

The documentation for this class was generated from the following files: