Home
last modified time | relevance | path

Searched refs:FunctionApplicationPair (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dequality_engine_types.h335 struct FunctionApplicationPair { struct
338 FunctionApplicationPair() {} in FunctionApplicationPair() argument
339 …FunctionApplicationPair(const FunctionApplication& original, const FunctionApplication& normalized) in FunctionApplicationPair() argument
H A Dequality_engine.h283 std::vector<FunctionApplicationPair> d_applications;
H A Dequality_engine.cpp183 d_applications[funId] = FunctionApplicationPair(funOriginal, funNormalized); in newApplicationNode()
222 d_applications.push_back(FunctionApplicationPair()); in newNode()