#include <model.h>

Public Member Functions
	Constraint (absl::string_view t, std::vector< Argument > args, bool strong_propag, bool sym, bool redundant)
std::string	DebugString () const
void	MarkAsInactive ()
void	RemoveArg (int arg_pos)
void	SetAsFalse ()

Public Attributes
std::string	type
std::vector< Argument >	arguments
bool	strong_propagation: 1
bool	active: 1
bool	is_symmetric_breaking: 1
bool	is_redundant: 1

◆ DebugString()

◆ MarkAsInactive()

◆ RemoveArg()

◆ SetAsFalse()

◆ active

◆ arguments

◆ is_redundant

◆ is_symmetric_breaking

◆ strong_propagation

◆ type

---

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

• ortools/flatzinc/model.h
• ortools/flatzinc/model.cc