P4::AbstractSolver Member List

This is the complete list of members for P4::AbstractSolver, including all inherited members.

as() const	P4::ICastable	inline
as()	P4::ICastable	inline
checkedTo() const	P4::ICastable	inline
checkedTo()	P4::ICastable	inline
checkSat(const std::vector< const Constraint * > &asserts)=0	P4::AbstractSolver	pure virtual
comment(cstring comment)=0	P4::AbstractSolver	pure virtual
DECLARE_TYPEINFO(AbstractSolver) (defined in P4::AbstractSolver)	P4::AbstractSolver
getSymbolicMapping() const =0	P4::AbstractSolver	pure virtual
is() const noexcept	P4::RTTI::Base	inline
isA(TypeId typeId) const noexcept=0	P4::RTTI::Base	pure virtual
isInIncrementalMode() const =0	P4::AbstractSolver	pure virtual
seed(unsigned seed)=0	P4::AbstractSolver	pure virtual
timeout(unsigned tm)=0	P4::AbstractSolver	pure virtual
to() noexcept	P4::RTTI::Base	inline
P4::ICastable::to() const noexcept	P4::RTTI::Base	inline
toImpl(TypeId typeId) const noexcept=0 (defined in P4::RTTI::Base)	P4::RTTI::Base	protectedpure virtual
toJSON(JSONGenerator &) const =0	P4::AbstractSolver	pure virtual
typeId() const noexcept=0	P4::RTTI::Base	pure virtual
~Base()=default (defined in P4::RTTI::Base)	P4::RTTI::Base	virtual
~ICastable()=default (defined in P4::ICastable)	P4::ICastable	virtual