P4::P4Tools::P4Testgen::SmallStepEvaluator::Branch Struct Reference

#include <small_step.h>

Public Member Functions
	Branch (ExecutionState &nextState)
	Simple branch without any constraint.
	Branch (std::optional< const Constraint * > c, const ExecutionState &prevState, ExecutionState &nextState)
	Branch (std::optional< const Constraint * > c, const ExecutionState &prevState, ExecutionState &nextState, P4::Coverage::CoverageSet potentialNodes)

Public Attributes
const Constraint *	constraint
ExecutionStateReference	nextState
P4::Coverage::CoverageSet	potentialNodes

Detailed Description

A branch is an execution state paired with an optional path constraint representing the choice made to take the branch.

Constructor & Destructor Documentation

Branch() [1/2]

P4::P4Tools::P4Testgen::SmallStepEvaluator::Branch::Branch	(	std::optional< const Constraint * >	c,
		const ExecutionState &	prevState,
		ExecutionState &	nextState )

Branch constrained by a condition. prevState is the state in which the condition is later evaluated.

Branch() [2/2]

P4::P4Tools::P4Testgen::SmallStepEvaluator::Branch::Branch	(	std::optional< const Constraint * >	c,
		const ExecutionState &	prevState,
		ExecutionState &	nextState,
		P4::Coverage::CoverageSet	potentialNodes )

Branch constrained by a condition. prevState is the state in which the condition is later evaluated.