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

Instance members

Instance member Description

this.Item1

Full Usage: this.Item1

Returns: Set<int>

Returns: Set<int>

this.Item2

Full Usage: this.Item2

Returns: Set<int>

Returns: Set<int>