Struct ContextDiff 

pub struct ContextDiff {
    pub to_add: Vec<SubstitutionLink>,
    pub to_remove: Vec<SubstitutionLink>,
    pub conflicting: Vec<LinkConflict>,
}

The difference between two contexts’ world states (STRIPS goal − state).

Fields

to_add: Vec<SubstitutionLink>

Links present in the target but missing from the current context.

to_remove: Vec<SubstitutionLink>

Links present in the current context but missing from the target.

conflicting: Vec<LinkConflict>

Same-from, different-to conflicts between the two contexts.

Implementations

impl ContextDiff

pub const fn is_empty(&self) -> bool

Whether the two contexts already agree (nothing to add, remove, or resolve).

pub fn links_notation(&self) -> String

Render the delta as Links Notation for exact explanation.

Trait Implementations

impl Clone for ContextDiff

fn clone(&self) -> ContextDiff

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContextDiff

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

Formats the value using the given formatter.

impl Default for ContextDiff

fn default() -> ContextDiff

Returns the “default value” for a type.

impl Eq for ContextDiff

impl PartialEq for ContextDiff

fn eq(&self, other: &ContextDiff) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ContextDiff