storm::analysis::Assumption Struct Reference

A candidate relation between two states of a reachability order: either state1 > state2 (Greater) or state1 == state2 (Equal). More...

#include <Assumption.h>

Public Attributes
uint64_t	state1
uint64_t	state2
AssumptionRelation	relation

Detailed Description

A candidate relation between two states of a reachability order: either state1 > state2 (Greater) or state1 == state2 (Equal).

Definition at line 20 of file Assumption.h.

Member Data Documentation

relation

AssumptionRelation storm::analysis::Assumption::relation

Definition at line 23 of file Assumption.h.

state1

uint64_t storm::analysis::Assumption::state1

Definition at line 21 of file Assumption.h.

state2

uint64_t storm::analysis::Assumption::state2

Definition at line 22 of file Assumption.h.

---

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

• src/storm-pars/modelchecker/region/monotonicity/Assumption.h