Searched defs:UnitStack (Results 1 – 2 of 2) sorted by relevance
/dports/math/vampire/vampire-4.5.1/ | ||
H A D | Forwards.hpp | 185 typedef Stack<Unit*> UnitStack; typedef |
/dports/math/vampire/vampire-4.5.1/Parse/ | ||
H A D | TPTP.hpp | 415 class UnitStack { class in Parse::TPTP |