Searched refs:IndexedInterpretation (Results 1 – 1 of 1) sorted by relevance
353 enum IndexedInterpretation { enum in Kernel::Theory357 typedef std::pair<IndexedInterpretation, unsigned> ConcreteIndexedInterpretation;384 Interpretation interpretationFromIndexedInterpretation(IndexedInterpretation ii, unsigned index) in interpretationFromIndexedInterpretation()