pub struct ArgumentAcceptanceEval<K> { /* private fields */ }Expand description
Acceptance evaluator that uses argumentation schemes to decide whether a responder accepts a proposed action.
When the responder has no counter-arguments, the action is accepted.
When both sides have arguments, they are resolved via ASPIC+ extension
semantics, and the action is accepted if the proposer’s arguments survive.
When ASPIC+ is inconclusive (non-conflicting conclusions), scheme strength
is compared as a fallback — both sides are scoped to the same action by the
ArgumentKnowledge trait, so the stronger authority basis wins.
Implementations§
Source§impl<K: ArgumentKnowledge> ArgumentAcceptanceEval<K>
impl<K: ArgumentKnowledge> ArgumentAcceptanceEval<K>
Trait Implementations§
Source§impl<K: ArgumentKnowledge, P> AcceptanceEval<P> for ArgumentAcceptanceEval<K>
impl<K: ArgumentKnowledge, P> AcceptanceEval<P> for ArgumentAcceptanceEval<K>
Auto Trait Implementations§
impl<K> Freeze for ArgumentAcceptanceEval<K>where
K: Freeze,
impl<K> RefUnwindSafe for ArgumentAcceptanceEval<K>where
K: RefUnwindSafe,
impl<K> Send for ArgumentAcceptanceEval<K>where
K: Send,
impl<K> Sync for ArgumentAcceptanceEval<K>where
K: Sync,
impl<K> Unpin for ArgumentAcceptanceEval<K>where
K: Unpin,
impl<K> UnsafeUnpin for ArgumentAcceptanceEval<K>where
K: UnsafeUnpin,
impl<K> UnwindSafe for ArgumentAcceptanceEval<K>where
K: UnwindSafe,
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