From ac8cf53b07eb29687850f2ae64007f9f2688c9ad Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 10 May 2021 09:29:09 -0500 Subject: Unify top-level substitutions and model substitutions (#6499) This unifies top-level substitutions and theory model substitutions. Env is now passed to the TheoryModel, which has access to top-level substitutions. The former was used for simplfying assertions in the preprocessor, the latter was used for evaluating terms in the model. There is no reason to have these two things be separate. --- src/theory/combination_care_graph.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/theory/combination_care_graph.h') diff --git a/src/theory/combination_care_graph.h b/src/theory/combination_care_graph.h index 437831678..971b81d1d 100644 --- a/src/theory/combination_care_graph.h +++ b/src/theory/combination_care_graph.h @@ -36,6 +36,7 @@ class CombinationCareGraph : public CombinationEngine { public: CombinationCareGraph(TheoryEngine& te, + Env& env, const std::vector& paraTheories, ProofNodeManager* pnm); ~CombinationCareGraph(); -- cgit v1.2.3