Searched defs:ComputeClosureOfFacts (Results 1 – 6 of 6) sorted by relevance
272 void FactManager::ComputeClosureOfFacts( in ComputeClosureOfFacts() function in spvtools::fuzz::FactManager
423 void DataSynonymAndIdEquationFacts::ComputeClosureOfFacts( in ComputeClosureOfFacts() function in spvtools::fuzz::fact_manager::DataSynonymAndIdEquationFacts