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

LtlConstant Class Reference

#include <Ltl.h>

Inheritance diagram for LtlConstant:

Ltl

List of all members.


Detailed Description

LTL constants 'true' and 'false'

Definition at line 192 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.
 operator bool () const
 Convert to truth value.
bool operator< (const class Ltl &other) const
 Less-than comparison.
bool operator< (const class LtlConstant &other) const
 Less-than comparison.

Static Public Member Functions

static class Ltlconstruct (bool true_)
static class Ltlfetch (unsigned f)

Public Attributes

unsigned m_num
 Number of the LTL formula.

Protected Member Functions

 ~LtlConstant ()
 Destructor.

Static Protected Member Functions

static class Ltlinsert (class Ltl &ltl)

Private Member Functions

 LtlConstant (const class LtlConstant &old)
 Copy constructor.
 LtlConstant (bool true_)
 Constructor.
class LtlConstantoperator= (const class LtlConstant &old)
 Assignment operator.

Private Attributes

bool m_true
 The truth value of the constant.

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

Generated by  Doxygen 1.6.0   Back to index