ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
CaDiCaL::less_conditioned Struct Reference

Public Member Functions

bool operator() (Clause *a, Clause *b)
 

Detailed Description

Definition at line 149 of file cadical_condition.cpp.

Member Function Documentation

◆ operator()()

bool CaDiCaL::less_conditioned::operator() ( Clause * a,
Clause * b )
inline

Definition at line 150 of file cadical_condition.cpp.

150 {
151 return !a->conditioned && b->conditioned;
152 }

The documentation for this struct was generated from the following file: