Struct Rule 

pub struct Rule {
    pub kind: RuleKind,
    pub literals: Vec<i64>,
    pub reason: Reason,
    pub rule_type: Option<RuleType>,
    pub disabled: bool,
}

Fields

kind: RuleKind

literals: Vec<i64>

Sorted ascending (sort($literals)), except Rule2Literals: [min, max], which is the same thing.

reason: Reason

rule_type: Option<RuleType>

None = 255: never added to the RuleSet (duplicate learned rule, still used as a reason and as a watch node).

disabled: bool

Implementations

impl Rule

pub fn generic(literals: Vec<i64>, reason: Reason) -> Rule

new GenericRule($literals, ...).

pub fn two_literals(l1: i64, l2: i64, reason: Reason) -> Rule

new Rule2Literals($l1, $l2, ...).

pub fn multi_conflict(literals: Vec<i64>, reason: Reason) -> Rule

new MultiConflictRule($literals, ...) (at least 3 literals).

pub fn is_assertion(&self) -> bool

pub fn is_enabled(&self) -> bool

pub fn required_package<'a>(&'a self, arena: &'a [Package]) -> Option<&'a str>

getRequiredPackage.

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Rule

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.