operations_research::sat::BooleanXorPropagator Class Reference

Detailed Description

Definition at line 40 of file cp_constraints.h.

#include <cp_constraints.h>

Inheritance diagram for operations_research::sat::BooleanXorPropagator:

Public Member Functions
	BooleanXorPropagator (absl::Span< const Literal > enforcement_literals, const std::vector< Literal > &literals, bool value, Model *model)
	BooleanXorPropagator (const BooleanXorPropagator &)=delete
BooleanXorPropagator &	operator= (const BooleanXorPropagator &)=delete
bool	Propagate () final
Public Member Functions inherited from operations_research::sat::PropagatorInterface
	PropagatorInterface ()=default
virtual	~PropagatorInterface ()=default
virtual bool	IncrementalPropagate (const std::vector< int > &)

Constructor & Destructor Documentation

BooleanXorPropagator() [1/2]

operations_research::sat::BooleanXorPropagator::BooleanXorPropagator	(	absl::Span< const Literal >	enforcement_literals,
		const std::vector< Literal > &	literals,
		bool	value,
		Model *	model )

Definition at line 32 of file cp_constraints.cc.

BooleanXorPropagator() [2/2]

operations_research::sat::BooleanXorPropagator::BooleanXorPropagator ( const BooleanXorPropagator & )

delete

Member Function Documentation

operator=()

BooleanXorPropagator & operations_research::sat::BooleanXorPropagator::operator= ( const BooleanXorPropagator & )

delete

Propagate()

bool operations_research::sat::BooleanXorPropagator::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 45 of file cp_constraints.cc.

---

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

• ortools/sat/cp_constraints.h
• ortools/sat/cp_constraints.cc