Struct gdl_parser::Proposition
[-] [+]
[src]
pub struct Proposition { pub name: Constant, }
A proposition is a Relation
with no body; it only has a name.
Fields
name |
pub struct Proposition { pub name: Constant, }
A proposition is a Relation
with no body; it only has a name.
name |
impl Proposition
fn new<T: Into<Constant>>(name: T) -> Proposition
impl Into<Literal> for Proposition
impl Into<Sentence> for Proposition
impl Into<Relation> for Proposition
impl ToString for Proposition
impl Encodable for Proposition
impl Decodable for Proposition
fn decode<__D: Decoder>(__arg_0: &mut __D) -> Result<Proposition, __D>
impl PartialEq for Proposition
fn eq(&self, __arg_0: &Proposition) -> bool
fn ne(&self, __arg_0: &Proposition) -> bool
impl Eq for Proposition
fn assert_receiver_is_total_eq(&self)
impl Hash for Proposition
fn hash<__H: Hasher>(&self, __arg_0: &mut __H)
fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher
impl Clone for Proposition
fn clone(&self) -> Proposition
fn clone_from(&mut self, source: &Self)
impl Debug for Proposition
Prefix searches with a type followed by a colon (e.g.
fn:
) to restrict the search to a given type.
Accepted types are: fn
, mod
,
struct
, enum
,
trait
, typedef
(or
tdef
).