pub struct AifNode {
pub node_id: String,
pub text: String,
pub node_type: String,
pub scheme: Option<String>,
}Expand description
A single AIF node. The type field discriminates:
"I"— information / claim (premise or conclusion literal)."RA"— rule application (scheme instance)."CA"— conflict / attack (critical question)."MA"— mutual attack / preference (unused in v0.2.0).
Fields§
§node_id: StringNode identifier — unique within the document.
text: StringHuman-readable text. For I-nodes this is literal.to_string();
for RA-nodes the scheme’s canonical name; for CA-nodes the
instantiated critical-question text.
node_type: StringNode type: “I” | “RA” | “CA” | “MA”.
scheme: Option<String>Scheme name — present on RA-nodes, absent (None → omitted) on others.
Trait Implementations§
Source§impl<'de> Deserialize<'de> for AifNode
impl<'de> Deserialize<'de> for AifNode
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Eq for AifNode
impl StructuralPartialEq for AifNode
Auto Trait Implementations§
impl Freeze for AifNode
impl RefUnwindSafe for AifNode
impl Send for AifNode
impl Sync for AifNode
impl Unpin for AifNode
impl UnsafeUnpin for AifNode
impl UnwindSafe for AifNode
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.