Public Member Functions
	PerspCon ()
	Default constructor.

	PerspCon (EnvPtr env, ProblemPtr p)
	Constructs from the given problem.

	~PerspCon ()
	Destructor.

void	findPRCons ()
	Generates list of constraints amenable to PR.

std::vector< prCons >	getPRCons () const
	Returns a vector containing constraints amenable to PR.

prObj	getPRObj () const

bool	getStatus ()

void	implications ()

std::unordered_map< VariablePtr, std::forward_list< impliVar > >	getImplications0 ()

std::unordered_map< VariablePtr, std::forward_list< impliVar > >	getImplications1 ()

Member Function Documentation

◆ findPRCons()

void PerspCon::findPRCons ( )

Generates list of constraints amenable to PR.

To determine all the variables fixed by binary variables

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