Trait SingleExtensionComputer 

pub trait SingleExtensionComputer<T>
where
    T: LabelType,
{
    // Required method
    fn compute_one_extension(&mut self) -> Option<Vec<&Argument<T>>>;
}

A trait for solvers able to compute an extension.

Required Methods

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

Computes a single extension.

In case the problem admits no extension, Option::None is return. In case an extension is found, it is returned as a vector of arguments.

Implementors

impl<T> SingleExtensionComputer<T> for GroundedSemanticsSolver<'_, T>

where T: LabelType,

impl<T> SingleExtensionComputer<T> for IdealSemanticsSolver<'_, T>

where T: LabelType,

impl<T> SingleExtensionComputer<T> for PreferredSemanticsSolver<'_, T>

where T: LabelType,

impl<T> SingleExtensionComputer<T> for SemiStableSemanticsSolver<'_, T>

where T: LabelType,

impl<T> SingleExtensionComputer<T> for StableSemanticsSolver<'_, T>

where T: LabelType,

impl<T> SingleExtensionComputer<T> for StageSemanticsSolver<'_, T>

where T: LabelType,