Struct DefaultUser 

pub struct DefaultUser {}

Implementations

impl DefaultUser

pub fn new() -> DefaultUser

Trait Implementations

impl Clone for DefaultUser

fn clone(&self) -> DefaultUser

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DefaultUser

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

Formats the value using the given formatter.

impl Default for DefaultUser

fn default() -> DefaultUser

Returns the “default value” for a type.

impl Display for DefaultUser

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

Formats the value using the given formatter.

impl User for DefaultUser

type UserTerm = ()

type UserContext = ()

Type of data-structure stored in the Engine-instance. Retrievable with Engine::context().

fn process_extension<E: Engine<Self>>( state: State<Self, E>, _extension: &SMap<Self, E>, ) -> SResult<Self, E>

Process extension to substitution map.

fn unify<E: Engine<Self>>( _state: State<Self, E>, _extension: &mut SMap<Self, E>, _uwalk: LTerm<Self, E>, _vwalk: LTerm<Self, E>, ) -> SResult<Self, E>

fn with_constraint<E: Engine<Self>>( _state: &mut State<Self, E>, _constraint: &Rc<dyn Constraint<Self, E>>, )

Called before the constraint is added to the state

fn take_constraint<E: Engine<Self>>( _state: &mut State<Self, E>, _constraint: &Rc<dyn Constraint<Self, E>>, )

Called after the constraint has been removed from the state

fn enforce_constraints<E: Engine<Self>>(_x: LTerm<Self, E>) -> Goal<Self, E>

Called in reification when constraints are finalized. For example finite domain constraints are converted to sequences of integers.

fn finalize<E: Engine<Self>>(_state: &mut State<Self, E>)

fn reify<E: Engine<Self>>(_state: &mut State<Self, E>)