trailmix (Calculemus)

trailmix Type

Namespace: Calculemus
Assembly: Calculemus.dll
Parent Module: DP
Base Type: obj
All Interfaces: IStructuralEquatable , IComparable<trailmix> , IComparable , IStructuralComparable

Flags to mark literals in the case split trail used in the DPLL iterative implementation. DP.dpli

Union case	Description
`Deduced` Full Usage: `Deduced`	Literal deduced by unit propagation.
`Guessed` Full Usage: `Guessed`	Literal just assumed as the fst half of a case-split.