Property Class Reference

Properties are (usually) LTL formulae concerning some model. More...

Inherits divine::common::Node, and divine::common::Wired::Interface.

List of all members.

Public Types

enum  Type {
  PBS, Interactive, DVE, PML,
  LTL, StateSpace, PropertyProcess, Safety
}

Public Member Functions

String canonicalName ()
Object clone ()
Object fromWire (String s) throws Exception
Model model ()
void setText (String t)
void setType (Type type)
String text ()
String toWire () throws Exception
Type type ()
String typeString ()
boolean typeValid ()

Static Public Member Functions

static Type typeFromString (String s)
static String typeToString (Type t)

Protected Attributes

String m_text
Type m_type = Type.LTL


Detailed Description

Properties are (usually) LTL formulae concerning some model.
The documentation for this class was generated from the following file:

Reference Manual, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University