 |
P4C
The P4 Compiler
|
|
P4C
The P4 Compiler
|
This is the complete list of members for AbstractSolver, including all inherited members.
| as() const | ICastable | inline |
| as() | ICastable | inline |
| checkedTo() const | ICastable | inline |
| checkedTo() | ICastable | inline |
| checkSat(const std::vector< const Constraint * > &asserts)=0 | AbstractSolver | pure virtual |
| comment(cstring comment)=0 | AbstractSolver | pure virtual |
| DECLARE_TYPEINFO(AbstractSolver) (defined in AbstractSolver) | AbstractSolver | |
| getSymbolicMapping() const =0 | AbstractSolver | pure virtual |
| is() const noexcept | RTTI::Base | inline |
| isA(TypeId typeId) const noexcept=0 | RTTI::Base | pure virtual |
| isInIncrementalMode() const =0 | AbstractSolver | pure virtual |
| seed(unsigned seed)=0 | AbstractSolver | pure virtual |
| timeout(unsigned tm)=0 | AbstractSolver | pure virtual |
| to() noexcept | RTTI::Base | inline |
| to() const noexcept | RTTI::Base | inline |
| toImpl(TypeId typeId) const noexcept=0 (defined in RTTI::Base) | RTTI::Base | protectedpure virtual |
| toJSON(JSONGenerator &) const =0 | AbstractSolver | pure virtual |
| typeId() const noexcept=0 | RTTI::Base | pure virtual |
| ~Base()=default (defined in RTTI::Base) | RTTI::Base | virtual |
| ~ICastable()=default (defined in ICastable) | ICastable | virtual |