ibex::MonotonicityFlags Class Reference

Backtrackable structure for OCTUM (experimental). More...

#include <IbexOctum.h>

Inheritance diagram for ibex::MonotonicityFlags:

List of all members.

Public Member Functions

MonotonicityFlags ()

MonotonicityFlags (const MonotonicityFlags &father, bool side)

~MonotonicityFlags ()

bool registered (int equ_num)

void add (int equ_num, int nb_var)

void set_flag (int equ_num, int var_num, int f)

int get_flag (int equ_num, int var_num)

Detailed Description

Backtrackable structure for OCTUM (experimental).

This class allows to store whether the i^{th} function is increasing or decreasing with respect to the j^{th} variable.

ibex::MonotonicityFlags::MonotonicityFlags ( ) [inline]

Create a new flag structure.

ibex::MonotonicityFlags::MonotonicityFlags	(	const MonotonicityFlags &	father,
		bool	side
	)			`[inline]`

Inherit the flag structure (by reference)

ibex::MonotonicityFlags::~MonotonicityFlags ( )

Reverse what has been modified before backtracking.

Reverses what has been modified before backtracking

bool ibex::MonotonicityFlags::registered ( int equ_num ) [inline]

Return true if the equation whose environment number is equ_num exists in the structure

void ibex::MonotonicityFlags::add	(	int	equ_num,
		int	nb_var
	)

Add a new entry for equation equ_num involving nb_var variables.

void ibex::MonotonicityFlags::set_flag	(	int	equ_num,
		int	var_num,
		int	f
	)

Set the flag of a couple (constraint,variable).

int ibex::MonotonicityFlags::get_flag	(	int	equ_num,
		int	var_num
	)			`[inline]`

Get the flag of a couple (constraint,variable)

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


Public Member Functions
	MonotonicityFlags ()
	MonotonicityFlags (const MonotonicityFlags &father, bool side)
	~MonotonicityFlags ()
bool	registered (int equ_num)
void	add (int equ_num, int nb_var)
void	set_flag (int equ_num, int var_num, int f)
int	get_flag (int equ_num, int var_num)