Struct proto_vulcan::user::DefaultUser [−][src]
pub struct DefaultUser {}
Implementations
Trait Implementations
Returns the “default value” for a type. Read more
type UserContext = ()
type UserContext = ()
Type of data-structure stored in the Engine-instance. Retrievable with Engine::context(). Read more
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>>
)
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>>
)
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
Called in reification when constraints are finalized. For example finite domain constraints are converted to sequences of integers. Read more
Auto Trait Implementations
impl RefUnwindSafe for DefaultUser
impl Send for DefaultUser
impl Sync for DefaultUser
impl Unpin for DefaultUser
impl UnwindSafe for DefaultUser
Blanket Implementations
Mutably borrows from an owned value. Read more