Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Kernel/
H A DSorts.hpp85 virtual bool isOfStructuredSort(StructuredSort sort) { return false; } in isOfStructuredSort() function in Kernel::Sorts::SortInfo
105 bool isOfStructuredSort(StructuredSort sort) override { in isOfStructuredSort() function in Kernel::Sorts::StructuredSortInfo
188 bool isOfStructuredSort(unsigned sort, StructuredSort structured){ in isOfStructuredSort() function in Kernel::Sorts