Clause (Averest)

Clause Type

Namespace: Averest.Analysis
Assembly: Averest.dll
Parent Module: SatSolver
Abbreviation For: Set<int> * Set<int>
Base Type: obj
All Interfaces: IStructuralComparable , IStructuralEquatable , IComparable , ITuple

a clause consists of a pair of sets of atom indices that are the indices of the positive and negative atoms of the clause; note that these are implicitly disjunctively combined and clauses are often used in combination with a cube that filters out only unassigned atoms