Logo Search packages:      
Sourcecode: lbt version File versions  Download package

LtlIff Class Reference

#include <Ltl.h>

Inheritance diagram for LtlIff:


List of all members.

Detailed Description

LTL equivalence or exclusive disjunction

Definition at line 327 of file Ltl.h.

Public Types

enum  Kind {
  Atom, Constant, Junct, Iff,
  Future, Until
 Formula kinds.

Public Member Functions

void expand (class LtlGraphNode &node, std::stack< class LtlGraphNode * > &to_expand) const
enum Kind getKind () const
 Determine the kind of the formula.
class LtlnegClone () const
 Returns a clone of the negation of this Ltl formula.
bool operator< (const class Ltl &other) const
 Less-than comparison.
bool operator< (const class LtlIff &other) const
 Less-than comparison.

Static Public Member Functions

static class Ltlconstruct (bool iff, class Ltl &l, class Ltl &r)
static class Ltlfetch (unsigned f)

Public Attributes

unsigned m_num
 Number of the LTL formula.

Protected Member Functions

 ~LtlIff ()

Static Protected Member Functions

static class Ltlinsert (class Ltl &ltl)

Private Member Functions

 LtlIff (const class LtlIff &old)
 Copy constructor.
 LtlIff (bool iff, class Ltl &l, class Ltl &r)
class LtlIffoperator= (const class LtlIff &old)
 Assignment operator.

Private Attributes

bool m_iff
 Flag: equivalence instead of exclusive disjunction?
class Ltlm_left
 The left-hand-side sub-formula.
class Ltlm_right
 The right-hand-side sub-formula.

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

Generated by  Doxygen 1.6.0   Back to index