| 1735 | } |
| 1736 | |
| 1737 | std::vector<smtutil::Expression> CHC::initialStateVariables() |
| 1738 | { |
| 1739 | return stateVariablesAtIndex(0); |
| 1740 | } |
| 1741 | |
| 1742 | std::vector<smtutil::Expression> CHC::stateVariablesAtIndex(unsigned _index) |
| 1743 | { |
nothing calls this directly
no test coverage detected