Bool element class. More...

#include <bool.hpp>

Public Member Functions
	Bool (const cvc5::Term &t, Solver &slv)

	Bool (const FFTerm &t)

	Bool (const FFITerm &t)

	Bool (bool t, Solver &slv)

	Bool (const cvc5::Term &term, cvc5::Solver *s)

	Bool (const Bool &other)=default

	Bool (Bool &&other)=default

Bool &	operator= (const Bool &right)=default

Bool &	operator= (Bool &&right)=default

void	assert_term ()

Bool	operator\| (const Bool &other) const

void	operator\|= (const Bool &other)

Bool	operator\| (const bool &other) const

void	operator\|= (const bool &other) const

Bool	operator& (const Bool &other) const

void	operator&= (const Bool &other)

Bool	operator& (const bool &other) const

void	operator&= (const bool &other)

Bool	operator== (const Bool &other) const

Bool	operator!= (const Bool &other) const

	operator std::string () const

	operator cvc5::Term () const

Friends
Bool	batch_or (const std::vector< Bool > &children)

Bool	batch_and (const std::vector< Bool > &children)

Detailed Description

Bool element class.

Can be used to create non trivial constraints. Supports basic boolean arithmetic: &, |.

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

Public Member Functions