Detailed Description

Definition at line 196 of file flatzinc/model.h.

Public Member Functions
	Constraint (const std::string &t, std::vector< Argument > args, bool strong_propag)

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	presolve_propagation_done: 1

Constructor & Destructor Documentation

◆ Constraint()

Constraint	(	const std::string &	t,
		std::vector< Argument >	args,
		bool	strong_propag
	)

inline

Definition at line 197 of file flatzinc/model.h.

Member Function Documentation

◆ DebugString()

std::string DebugString ( ) const

Definition at line 614 of file model.cc.

◆ MarkAsInactive()

void MarkAsInactive ( )

Definition at line 628 of file model.cc.

◆ RemoveArg()

void RemoveArg ( int arg_pos )

Definition at line 624 of file model.cc.

◆ SetAsFalse()

void SetAsFalse ( )

Definition at line 633 of file model.cc.

Member Data Documentation

◆ active

bool active

Definition at line 228 of file flatzinc/model.h.

◆ arguments

std::vector<Argument> arguments

Definition at line 217 of file flatzinc/model.h.

◆ presolve_propagation_done

bool presolve_propagation_done

Definition at line 231 of file flatzinc/model.h.

◆ strong_propagation

bool strong_propagation

Definition at line 223 of file flatzinc/model.h.

◆ type

std::string type

Definition at line 216 of file flatzinc/model.h.

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