Cube (Averest)

Cube Type

Namespace: Averest.Analysis
Assembly: Averest.dll
Parent Module: SatSolver
Abbreviation For: bool option[]
Base Type: Array
All Interfaces: IList , ICollection , IStructuralComparable , IStructuralEquatable , ICloneable , IList<bool option> , ICollection<bool option> , IEnumerable<bool option> , IEnumerable

A cube is a type to define a truth assignments to the considered atoms such that each atom is either true, false or don't care (=None). Cubes are ordered in a lattice.