Struct rslogic::state::Var

pub struct Var { /* fields omitted */ }

Represents a logical variable. A variable must be created by calling State::make_var() before a goal is evaluated (by passing the resulting state to a goal).

Trait Implementations

impl Clone for Var

fn clone(&self) -> Var

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Var