Home
last modified time | relevance | path

Searched defs:TermAlgebra (Results 1 – 2 of 2) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DTermAlgebra.hpp72 class TermAlgebra { class
H A DTermAlgebra.cpp69 TermAlgebra::TermAlgebra(unsigned sort, in TermAlgebra() function in Shell::TermAlgebra