OR-Tools  8.2
Constraint

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< Argumentarguments
 
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: