Spectra
Classes | Enumerations
formula.h File Reference
#include <vector>
#include <string>
#include <sstream>
#include <utility>
#include "fileLocation.h"
Include dependency graph for formula.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  formula
 

Enumerations

enum  OpType {
  LAST, PREVIOUSLY, GLOBALLY, S_SINCE,
  W_SINCE, UP, DOWN, S_INTERVAL,
  W_INTERVAL, AND, OR, XOR,
  NOT, IMPLY, ATOM
}
 
enum  State { CREATED, INITIALIZED, FIRST_OP, READY }
 

Enumeration Type Documentation

◆ OpType

enum OpType

An enum encoding past-time LTL and common logic operators. 'S_' means strong, 'W_' is weak.

Enumerator
LAST 
PREVIOUSLY 
GLOBALLY 
S_SINCE 
W_SINCE 
UP 
DOWN 
S_INTERVAL 
W_INTERVAL 
AND 
OR 
XOR 
NOT 
IMPLY 
ATOM 

◆ State

enum State

An enum used by formulaAnalyser for decisions in formulae processing.

Enumerator
CREATED 
INITIALIZED 
FIRST_OP 
READY