Struct DummyDynamicConstraintsEncoder 

pub struct DummyDynamicConstraintsEncoder<T>
where
    T: LabelType,
{ /* private fields */ }

A dynamic solver that just recomputes from scratch every time it is called.

Implementations

impl<T> DummyDynamicConstraintsEncoder<T>

where T: LabelType,

pub fn new( single_extension_computer_factory: Option<Box<dyn for<'a> Fn(&'a AAFramework<T>) -> Box<dyn SingleExtensionComputer<T> + 'a>>>, credulous_acceptance_computer_factory: Option<Box<dyn for<'a> Fn(&'a AAFramework<T>) -> Box<dyn CredulousAcceptanceComputer<T> + 'a>>>, skeptical_acceptance_computer_factory: Option<Box<dyn for<'a> Fn(&'a AAFramework<T>) -> Box<dyn SkepticalAcceptanceComputer<T> + 'a>>>, ) -> Self

Builds a new dummy solver given factories to build its underlying solvers.

Trait Implementations

impl<T> CredulousAcceptanceComputer<T> for DummyDynamicConstraintsEncoder<T>

where T: LabelType,

fn are_credulously_accepted(&mut self, args: &[&T]) -> bool

Checks the credulous acceptance of a disjunction of arguments.

fn are_credulously_accepted_with_certificate( &mut self, args: &[&T], ) -> (bool, Option<Vec<&Argument<T>>>)

Checks the credulous acceptance of a disjunction of arguments, and provide a certificate if it is the case.

fn is_credulously_accepted(&mut self, arg: &T) -> bool

Checks the credulous acceptance of an argument.

fn is_credulously_accepted_with_certificate( &mut self, arg: &T, ) -> (bool, Option<Vec<&Argument<T>>>)

Checks the credulous acceptance of an argument, and provide a certificate if it is the case.

impl<T> DynamicSolver<T> for DummyDynamicConstraintsEncoder<T>

where T: LabelType,

fn new_argument(&mut self, label: T)

Adds a new argument to the underlying AF.

fn remove_argument(&mut self, label: &T) -> Result<()>

Removes an argument from the underlying AF.

fn new_attack(&mut self, from: &T, to: &T) -> Result<()>

Adds an attack to the underlying AF.

fn remove_attack(&mut self, from: &T, to: &T) -> Result<()>

Removes an attack from the underlying AF.

impl<T> SingleExtensionComputer<T> for DummyDynamicConstraintsEncoder<T>

where T: LabelType,

fn compute_one_extension(&mut self) -> Option<Vec<&Argument<T>>>

Computes a single extension.

impl<T> SkepticalAcceptanceComputer<T> for DummyDynamicConstraintsEncoder<T>

where T: LabelType,

fn are_skeptically_accepted(&mut self, args: &[&T]) -> bool

Checks the skeptical acceptance of a disjunction of arguments.

fn are_skeptically_accepted_with_certificate( &mut self, args: &[&T], ) -> (bool, Option<Vec<&Argument<T>>>)

Checks the skeptical acceptance of a disjunction of arguments, and provide a certificate if it is the case.

fn is_skeptically_accepted(&mut self, arg: &T) -> bool

Checks the skeptical acceptance of an argument.

fn is_skeptically_accepted_with_certificate( &mut self, arg: &T, ) -> (bool, Option<Vec<&Argument<T>>>)

Checks the skeptical acceptance of an argument, and provide a certificate if it is the case.