Searched defs:_clauses (Results 1 – 9 of 9) sorted by relevance
63 private readonly Set<T_Clause> _clauses; field in System.Data.Common.Utils.Boolean.Sentence
106 SATClauseStack _clauses; member in Test::CheckedSatSolver
128 Stack<Clause*> _clauses; member in Inferences::InductionClauseIterator
143 ClauseList* _clauses; member in FMB::SortInference
171 ClauseList* _clauses; member in FMB::FiniteModelBuilder
107 vector<clause> _clauses; variable
101 vector<CClause> _clauses; variable
1621 std::vector<ASTPointer<TryCatchClause>> _clauses in TryStatement()