Type Definition clingo_sys::clingo_assignment_t

type clingo_assignment_t = clingo_assignment;

! Represents a (partial) assignment of a particular solver. ! ! An assignment assigns truth values to a set of literals. ! A literal is assigned to either @link clingo_assignment_truth_value() true or false, or is unassigned@endlink. ! Furthermore, each assigned literal is associated with a @link clingo_assignment_level() decision level@endlink. ! There is exactly one @link clingo_assignment_decision() decision literal@endlink for each decision level greater than zero. ! Assignments to all other literals on the same level are consequences implied by the current and possibly previous decisions. ! Assignments on level zero are immediate consequences of the current program. ! Decision levels are consecutive numbers starting with zero up to and including the @link clingo_assignment_decision_level() current decision level@endlink.