Inheritance diagram for symbolic::PartialState::UnknownEvaluation:
Public Member Functions | |
| UnknownEvaluation (const PropositionBase &prop) | |
| const char * | what () const noexcept override |
| const Proposition & | proposition () const |
The documentation for this class was generated from the following file:
- /home/runner/work/symbolic/symbolic/include/symbolic/state.h
