Detailed Description

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

Public Member Functions
	Constraint (absl::string_view 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	(	absl::string_view	t,
		std::vector< Argument >	args,
		bool	strong_propag
	)

inline

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

Member Function Documentation

◆ DebugString()

std::string DebugString ( ) const

Definition at line 797 of file flatzinc/model.cc.

◆ MarkAsInactive()

void MarkAsInactive ( )

Definition at line 811 of file flatzinc/model.cc.

◆ RemoveArg()

void RemoveArg ( int arg_pos )

Definition at line 807 of file flatzinc/model.cc.

◆ SetAsFalse()

void SetAsFalse ( )

Definition at line 816 of file flatzinc/model.cc.

Member Data Documentation

◆ active

bool active

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

◆ arguments

std::vector<Argument> arguments

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

◆ presolve_propagation_done

bool presolve_propagation_done

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

◆ strong_propagation

bool strong_propagation

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

◆ type

std::string type

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

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