P4C
The P4 Compiler
Loading...
Searching...
No Matches
P4::AbstractSolver Member List

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

as() constP4::ICastableinline
as()P4::ICastableinline
checkedTo() constP4::ICastableinline
checkedTo()P4::ICastableinline
checkSat(const std::vector< const Constraint * > &asserts)=0P4::AbstractSolverpure virtual
comment(cstring comment)=0P4::AbstractSolverpure virtual
DECLARE_TYPEINFO(AbstractSolver) (defined in P4::AbstractSolver)P4::AbstractSolver
getSymbolicMapping() const =0P4::AbstractSolverpure virtual
is() const noexceptP4::RTTI::Baseinline
isA(TypeId typeId) const noexcept=0P4::RTTI::Basepure virtual
isInIncrementalMode() const =0P4::AbstractSolverpure virtual
seed(unsigned seed)=0P4::AbstractSolverpure virtual
timeout(unsigned tm)=0P4::AbstractSolverpure virtual
to() noexceptP4::RTTI::Baseinline
P4::ICastable::to() const noexceptP4::RTTI::Baseinline
toImpl(TypeId typeId) const noexcept=0 (defined in P4::RTTI::Base)P4::RTTI::Baseprotectedpure virtual
toJSON(JSONGenerator &) const =0P4::AbstractSolverpure virtual
typeId() const noexcept=0P4::RTTI::Basepure virtual
~Base()=default (defined in P4::RTTI::Base)P4::RTTI::Basevirtual
~ICastable()=default (defined in P4::ICastable)P4::ICastablevirtual