Searched defs:irredundant (Results 1 – 8 of 8) sorted by relevance
110 const bool irredundant = !c->redundant; in transred() local
326 int64_t irredundant = 0, redundant = 0, total = 0, irrbytes = 0; in check_clause_stats() local
262 int64_t irredundant () const { return stats.current.irredundant; } in irredundant() function
659 int64_t Solver::irredundant () const { in irredundant() function in CaDiCaL::Solver
39 int64_t irredundant; member
56 …taLevelOpSymbol::metaGetVariant2(FreeDagNode* subject, RewritingContext& context, bool irredundant) in metaGetVariant2()
27 irredundant(F, D) in irredundant() function
402 Interpreter::getVariants(const Vector<Token>& bubble, Int64 limit, bool irredundant, bool debug) in getVariants()