pub struct App<H, A>(/* private fields */);
Expand description
Application of argument(s) to a head.
Implementations§
source§impl<P, C, V: Eq + Hash> App<P, Args<Term<C, V>>>
impl<P, C, V: Eq + Hash> App<P, Args<Term<C, V>>>
sourcepub fn fresh_vars<W>(
self,
map: &mut HashMap<V, W>,
st: &mut W::State
) -> Lit<P, C, W>where
W: Clone + Fresh,
pub fn fresh_vars<W>( self, map: &mut HashMap<V, W>, st: &mut W::State ) -> Lit<P, C, W>where W: Clone + Fresh,
For every variable v
in the literal,
replace v
by its corresponding mapping if one exists, otherwise
replace v
by a fresh variable and add a new mapping from v
to it.
Trait Implementations§
source§impl<H: PartialEq, A: PartialEq> PartialEq<App<H, A>> for App<H, A>
impl<H: PartialEq, A: PartialEq> PartialEq<App<H, A>> for App<H, A>
impl<H: Eq, A: Eq> Eq for App<H, A>
impl<H, A> StructuralEq for App<H, A>
impl<H, A> StructuralPartialEq for App<H, A>
Auto Trait Implementations§
impl<H, A> RefUnwindSafe for App<H, A>where A: RefUnwindSafe, H: RefUnwindSafe,
impl<H, A> Send for App<H, A>where A: Send, H: Send,
impl<H, A> Sync for App<H, A>where A: Sync, H: Sync,
impl<H, A> Unpin for App<H, A>where A: Unpin, H: Unpin,
impl<H, A> UnwindSafe for App<H, A>where A: UnwindSafe, H: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more