STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
Static Public Attributes | List of all members
stamina::gui::OperandInformation Struct Reference

Static Public Attributes

static const OperandAndDescription binaryOperands []
 
static const OperandAndDescription unaryOperands []
 

Member Data Documentation

◆ binaryOperands

const OperandAndDescription stamina::gui::OperandInformation::binaryOperands[]
inlinestatic
Initial value:
= {
OperandAndDescription("&", "AND Operand")
, OperandAndDescription("|", "OR Operand")
, OperandAndDescription("U", "Until Operand")
, OperandAndDescription("+", "Addition Operand")
, OperandAndDescription("-", "Subtraction Operand")
, OperandAndDescription("*", "Multiply Operand")
, OperandAndDescription("/", "Division Operand")
}

◆ unaryOperands

const OperandAndDescription stamina::gui::OperandInformation::unaryOperands[]
inlinestatic
Initial value:
= {
OperandAndDescription("!", "NOT Operand")
, OperandAndDescription("F", "Eventually Operand")
, OperandAndDescription("G", "Always (globally) Operand")
, OperandAndDescription("X", "Next Operand")
, OperandAndDescription("-", "Numeric Negation Operand")
}

The documentation for this struct was generated from the following file: