Struct Solution

pub struct Solution<'a> {
    query: &'a UniverseQuery<'a>,
    solution: SolutionHash,
}

Fields

query: &'a UniverseQuery<'a>

solution: SolutionHash

Implementations

impl<'a> Solution<'a>

pub fn as_string(&self) -> String

pub fn into_pipeline_config(self) -> Option<PipelineState>

pub fn as_pipeline_config(&self) -> Option<PipelineState>

Tries to converts the Config variable into a PipelineState. The Config must be the result of config_path_by_name(_, _, Config)..

fn toconf(&self, term: &Term) -> Option<PipelineState>

pub fn get_term(&self, variable: &str) -> Option<&Term>