Lumiera 0.pre.04~rc.1
»edit your freedom«
Loading...
Searching...
No Matches
Binding::Atom Class Reference

Description

single predicate as part of an advice binding pattern

Definition at line 106 of file common/advice/binding.hpp.

Public Member Functions

 Atom (string const &symbol="nil", uint arity=0, string const &arg="")
 
string const & sym () const
 
string const & arg () const
 
uint arity () const
 
 operator string () const
 
bool identical (Atom const &oa) const
 
int compare (Atom const &oa) const
 <
 

Friends

bool operator< (Atom const &a1, Atom const &a2)
 

Private Attributes

uint ari_
 
string sym_
 
string arg_
 

Constructor & Destructor Documentation

◆ Atom()

Atom ( string const &  symbol = "nil",
uint  arity = 0,
string const &  arg = "" 
)
inlineexplicit

Definition at line 114 of file common/advice/binding.hpp.

Member Function Documentation

◆ sym()

string const & sym ( ) const
inline

Definition at line 118 of file common/advice/binding.hpp.

References Binding::Atom::sym_.

Referenced by Binding::Atom::compare().

+ Here is the caller graph for this function:

◆ arg()

string const & arg ( ) const
inline

Definition at line 119 of file common/advice/binding.hpp.

References Binding::Atom::arg_.

Referenced by Binding::Atom::compare().

+ Here is the caller graph for this function:

◆ arity()

uint arity ( ) const
inline

Definition at line 120 of file common/advice/binding.hpp.

References Binding::Atom::ari_.

Referenced by Binding::Atom::compare().

+ Here is the caller graph for this function:

◆ operator string()

operator string ( ) const

Definition at line 138 of file common/advice/binding.cpp.

◆ identical()

bool identical ( Atom const &  oa) const
inline

◆ compare()

int compare ( Atom const &  oa) const
inline

<

Note
when compare returns 0, the corresponding Atom counts as duplicate

Definition at line 133 of file common/advice/binding.hpp.

References Binding::Atom::arg(), Binding::Atom::arity(), Binding::Atom::compare(), and Binding::Atom::sym().

Referenced by Binding::Atom::compare().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

Member Data Documentation

◆ ari_

uint ari_
private

Definition at line 108 of file common/advice/binding.hpp.

Referenced by Binding::Atom::arity(), and Binding::Atom::identical().

◆ sym_

string sym_
private

Definition at line 109 of file common/advice/binding.hpp.

Referenced by Binding::Atom::identical(), and Binding::Atom::sym().

◆ arg_

string arg_
private

Definition at line 110 of file common/advice/binding.hpp.

Referenced by Binding::Atom::arg(), and Binding::Atom::identical().

Friends And Related Symbol Documentation

◆ operator<

bool operator< ( Atom const &  a1,
Atom const &  a2 
)
friend

Definition at line 141 of file common/advice/binding.hpp.

+ Collaboration diagram for Binding::Atom:

The documentation for this class was generated from the following files: