Searched refs:DataSynonymAndIdEquationFacts (Results 1 – 4 of 4) sorted by relevance
409 class FactManager::DataSynonymAndIdEquationFacts { class in spvtools::fuzz::FactManager517 void FactManager::DataSynonymAndIdEquationFacts::AddFact( in AddFact()524 void FactManager::DataSynonymAndIdEquationFacts::AddFact( in AddFact()551 void FactManager::DataSynonymAndIdEquationFacts::AddEquationFactRecursive( in AddEquationFactRecursive()730 void FactManager::DataSynonymAndIdEquationFacts::AddDataSynonymFactRecursive( in AddDataSynonymFactRecursive()787 void FactManager::DataSynonymAndIdEquationFacts::ComputeClosureOfFacts( in ComputeClosureOfFacts()1060 void FactManager::DataSynonymAndIdEquationFacts::MakeEquivalent( in MakeEquivalent()1138 bool FactManager::DataSynonymAndIdEquationFacts::1187 FactManager::DataSynonymAndIdEquationFacts::GetSynonymsForDataDescriptor( in GetSynonymsForDataDescriptor()1198 FactManager::DataSynonymAndIdEquationFacts ::GetIdsForWhichSynonymsAreKnown( in GetIdsForWhichSynonymsAreKnown()[all …]
190 class DataSynonymAndIdEquationFacts; // Opaque class for management of data variable192 std::unique_ptr<DataSynonymAndIdEquationFacts>
409 class FactManager::DataSynonymAndIdEquationFacts { class in spvtools::fuzz::FactManager489 void FactManager::DataSynonymAndIdEquationFacts::AddFact( in AddFact()496 void FactManager::DataSynonymAndIdEquationFacts::AddFact( in AddFact()523 void FactManager::DataSynonymAndIdEquationFacts::AddEquationFactRecursive( in AddEquationFactRecursive()702 void FactManager::DataSynonymAndIdEquationFacts::AddDataSynonymFactRecursive( in AddDataSynonymFactRecursive()779 void FactManager::DataSynonymAndIdEquationFacts::ComputeClosureOfFacts( in ComputeClosureOfFacts()1059 void FactManager::DataSynonymAndIdEquationFacts::MakeEquivalent( in MakeEquivalent()1137 bool FactManager::DataSynonymAndIdEquationFacts::1186 FactManager::DataSynonymAndIdEquationFacts::GetSynonymsForDataDescriptor( in GetSynonymsForDataDescriptor()1195 FactManager::DataSynonymAndIdEquationFacts::GetIdsForWhichSynonymsAreKnown() in GetIdsForWhichSynonymsAreKnown()[all …]
202 class DataSynonymAndIdEquationFacts; // Opaque class for management of data variable204 std::unique_ptr<DataSynonymAndIdEquationFacts>