Detailed Description

Definition at line 219 of file model.h.

#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

Constructor & Destructor Documentation

◆ Constraint()

operations_research::fz::Constraint::Constraint	(	absl::string_view	t,
		std::vector< Argument >	args,
		bool	strong_propag,
		bool	sym,
		bool	redundant )

inline

Definition at line 220 of file model.h.

Member Function Documentation

◆ DebugString()

std::string operations_research::fz::Constraint::DebugString ( ) const

Definition at line 805 of file model.cc.

◆ MarkAsInactive()

void operations_research::fz::Constraint::MarkAsInactive ( )

Definition at line 821 of file model.cc.

◆ RemoveArg()

void operations_research::fz::Constraint::RemoveArg ( int arg_pos )

Definition at line 817 of file model.cc.

◆ SetAsFalse()

void operations_research::fz::Constraint::SetAsFalse ( )

Definition at line 826 of file model.cc.

Member Data Documentation

◆ active

bool operations_research::fz::Constraint::active

Definition at line 252 of file model.h.

◆ arguments

std::vector<Argument> operations_research::fz::Constraint::arguments

Definition at line 241 of file model.h.

◆ is_redundant

bool operations_research::fz::Constraint::is_redundant

Definition at line 258 of file model.h.

◆ is_symmetric_breaking

bool operations_research::fz::Constraint::is_symmetric_breaking

Definition at line 255 of file model.h.

◆ strong_propagation

bool operations_research::fz::Constraint::strong_propagation

Definition at line 247 of file model.h.

◆ type

std::string operations_research::fz::Constraint::type

Definition at line 240 of file model.h.

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

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