Enum arde::EvalOutput

pub enum EvalOutput {
    Proof(Option<Vec<GroundedBodyAtom>>),
    Valid(HashMap<String, HashSet<GroundedTerm>>),
    Invalid,
}

Variants

Proof(Option<Vec<GroundedBodyAtom>>)

Proof tree for the goal. Returned if the goal is grounded. None indicates ungrounded goals exist.

Valid(HashMap<String, HashSet<GroundedTerm>>)

Sets of valid values that a term can take to satisfy the program.

Invalid

No variables were groundable.

Implementations

impl EvalOutput

pub fn goal_satisfied(&self) -> bool

Trait Implementations

impl Debug for EvalOutput

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

Formats the value using the given formatter.