Struct graphplan::proposition::Proposition
source · Fields
name: String
negation: bool
Implementations
sourceimpl Proposition
impl Proposition
pub fn new(name: String, negation: bool) -> Proposition
pub fn from_str(name: &'static str) -> Proposition
pub fn negate(&self) -> Proposition
pub fn is_negation(&self, prop: &Proposition) -> bool
Trait Implementations
sourceimpl Clone for Proposition
impl Clone for Proposition
sourcefn clone(&self) -> Proposition
fn clone(&self) -> Proposition
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl Debug for Proposition
impl Debug for Proposition
sourceimpl Hash for Proposition
impl Hash for Proposition
sourceimpl Ord for Proposition
impl Ord for Proposition
sourcefn cmp(&self, other: &Proposition) -> Ordering
fn cmp(&self, other: &Proposition) -> Ordering
1.21.0 · sourcefn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
1.21.0 · sourcefn min(self, other: Self) -> Selfwhere
Self: Sized,
fn min(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the minimum of two values. Read more
1.50.0 · sourcefn clamp(self, min: Self, max: Self) -> Selfwhere
Self: Sized + PartialOrd<Self>,
fn clamp(self, min: Self, max: Self) -> Selfwhere
Self: Sized + PartialOrd<Self>,
Restrict a value to a certain interval. Read more
sourceimpl PartialEq<Proposition> for Proposition
impl PartialEq<Proposition> for Proposition
sourcefn eq(&self, other: &Proposition) -> bool
fn eq(&self, other: &Proposition) -> bool
sourceimpl PartialOrd<Proposition> for Proposition
impl PartialOrd<Proposition> for Proposition
sourcefn partial_cmp(&self, other: &Proposition) -> Option<Ordering>
fn partial_cmp(&self, other: &Proposition) -> Option<Ordering>
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Eq for Proposition
impl StructuralEq for Proposition
impl StructuralPartialEq for Proposition
Auto Trait Implementations
impl RefUnwindSafe for Proposition
impl Send for Proposition
impl Sync for Proposition
impl Unpin for Proposition
impl UnwindSafe for Proposition
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more