Inheritance diagram for ContractorForallMt< ContextType >:

Public Member Functions
	ContractorForallMt ()=delete
	Deleted default constructor.

	ContractorForallMt (Formula f, const Box &box, double epsilon, double inner_delta, const Config &config)
	Constructs ForallMt contractor using `f` and `box`.

	ContractorForallMt (const ContractorForallMt &)=delete
	Deleted copy constructor.

	ContractorForallMt (ContractorForallMt &&)=delete
	Deleted move constructor.

ContractorForallMt &	operator= (const ContractorForallMt &)=delete
	Deleted copy assign operator.

ContractorForallMt &	operator= (ContractorForallMt &&)=delete
	Deleted move assign operator.

void	Prune (ContractorStatus *cs) const override
	Performs pruning on `cs`.

std::ostream &	display (std::ostream &os) const override
	Outputs this contractor to `os`.

Public Member Functions inherited from ContractorCell
	ContractorCell (Contractor::Kind kind, DynamicBitset input, Config config)
	Constructs a cell with `kind` and `input`.

	ContractorCell ()=delete
	Deleted default constructor.

	ContractorCell (const ContractorCell &)=delete
	Deleted copy constructor.

	ContractorCell (ContractorCell &&)=delete
	Deleted move constructor.

void	operator= (const ContractorCell &)=delete
	Deleted copy assign operator.

void	operator= (ContractorCell &&)=delete
	Deleted move assign operator.

virtual	~ContractorCell ()=default
	Default destructor.

Contractor::Kind	kind () const
	Returns its kind.

const DynamicBitset &	input () const
	Returns its input.

DynamicBitset &	mutable_input ()
	Returns its input.

const Config &	config () const
	Returns config.

bool	include_forall () const
	Returns true if this contractor includes a forall contractor.

void	set_include_forall ()
	Sets include_forall true.

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

/home/soonhokong/work/dreal4/dreal/contractor/contractor_forall.h

Public Member Functions