Struct AbstractOutputChanges 

pub struct AbstractOutputChanges<S: Semantics> {
    pub new_nodes: HashMap<AbstractOutputNodeMarker, S::NodeAbstract>,
    pub new_edges: HashMap<AbstractSignatureEdgeId, S::EdgeAbstract>,
    pub maybe_changed_nodes: HashMap<SubstMarker, S::NodeAbstract>,
    pub maybe_changed_edges: HashMap<ParameterEdgeId, S::EdgeAbstract>,
    pub maybe_deleted_nodes: HashSet<SubstMarker>,
    pub maybe_deleted_edges: HashSet<ParameterEdgeId>,
}

The changes to the graph that an operation will cause.

Fields

new_nodes: HashMap<AbstractOutputNodeMarker, S::NodeAbstract>

New nodes that are guaranteed to be created with a value of the given type.

new_edges: HashMap<AbstractSignatureEdgeId, S::EdgeAbstract>

New edges that are guaranteed to be created with a value of the given type.

maybe_changed_nodes: HashMap<SubstMarker, S::NodeAbstract>

Pre-existing nodes that may have been modified to be of the given type.

maybe_changed_edges: HashMap<ParameterEdgeId, S::EdgeAbstract>

Pre-existing edges that may have been modified to be of the given type.

maybe_deleted_nodes: HashSet<SubstMarker>

Pre-existing nodes that may have been deleted by the operation.

maybe_deleted_edges: HashSet<ParameterEdgeId>

Pre-existing edges that may have been deleted by the operation.

Implementations

impl<S: Semantics> AbstractOutputChanges<S>

pub fn new() -> Self

pub fn is_subtype_of(&self, other: &Self) -> bool

Returns true if self can be used wherever other is expected, i.e., self <: other.

pub fn apply_abstract( &self, g: &mut GraphWithSubstitution<'_, AbstractGraph<S>>, ) -> AbstractOperationOutput<S>

Trait Implementations

impl<S: Semantics> Clone for AbstractOutputChanges<S>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Semantics> Debug for AbstractOutputChanges<S>

where HashMap<AbstractOutputNodeMarker, S::NodeAbstract>: Debug, HashMap<AbstractSignatureEdgeId, S::EdgeAbstract>: Debug, HashMap<SubstMarker, S::NodeAbstract>: Debug, HashMap<ParameterEdgeId, S::EdgeAbstract>: Debug,

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

Formats the value using the given formatter.

impl<'de, S> Deserialize<'de> for AbstractOutputChanges<S>

where S: SemanticsSerde + Semantics,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<S> Serialize for AbstractOutputChanges<S>

where S: SemanticsSerde + Semantics,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.