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: