storm::pars::analysis::RegionWitness Struct Reference

A point of a parameter region, mapping the variables to exact values. More...

#include <RegionConstraintChecker.h>

Inheritance diagram for storm::pars::analysis::RegionWitness:

Collaboration diagram for storm::pars::analysis::RegionWitness:

Public Member Functions
	RegionWitness ()=default
	RegionWitness (RationalFunctionRegion::Valuation valuation)

Detailed Description

A point of a parameter region, mapping the variables to exact values.

Definition at line 28 of file RegionConstraintChecker.h.

Constructor & Destructor Documentation

RegionWitness() [1/2]

storm::pars::analysis::RegionWitness::RegionWitness ( )

default

RegionWitness() [2/2]

storm::pars::analysis::RegionWitness::RegionWitness ( RationalFunctionRegion::Valuation valuation )

inlineexplicit

Definition at line 30 of file RegionConstraintChecker.h.

---

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

• src/storm-pars/analysis/RegionConstraintChecker.h