Enum TermDef 

pub enum TermDef<S, Ty> {
    Start {
        idx: u32,
        stream: S,
    },
    RunProof {
        stepper: Stepper<S>,
        ret_type: Ty,
        nr_args: usize,
        commands: Range<usize>,
    },
    ProofDone {
        stream: S,
        ret_type: Ty,
        commands: Range<usize>,
        nr_args: usize,
    },
    RunUnify {
        stream: S,
        stepper: Stepper,
    },
    Done {
        stream: S,
    },
    Dummy,
}

Variants

Start

Fields

idx: u32

stream: S

RunProof

Fields

stepper: Stepper<S>

ret_type: Ty

nr_args: usize

commands: Range<usize>

ProofDone

Fields

stream: S

ret_type: Ty

commands: Range<usize>

nr_args: usize

RunUnify

Fields

stream: S

stepper: Stepper

Done

Fields

stream: S

Dummy

Implementations

impl<S, Ty> TermDef<S, Ty>

where S: Iterator<Item = Command<Proof>>, Ty: Var,

pub fn new(idx: u32, stream: S) -> TermDef<S, Ty>

pub fn take_stream_if_done(self) -> Option<S>

pub fn is_done(&self) -> bool

pub fn step<SS: Store<Var = Ty>, T: Table<Var = SS::Var>>( &mut self, context: &mut Context<SS>, state: &State, table: &T, ) -> KResult<TermDefAction>

Trait Implementations

impl<S: Debug, Ty: Debug> Debug for TermDef<S, Ty>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.