gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst

Class PhiCondition

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.PhiCondition

public class PhiCondition
extends java.lang.Object

This represents a phi condition, that associates a "condition" with the "then" and the "else side.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PhiCondition.Branch

Field Summary

Fields

Modifier and Type	Field and Description
PhiCondition.Branch	branch
za.ac.sun.cs.green.expr.Expression	condition

Constructor Summary

Constructors

Constructor and Description
PhiCondition(PhiCondition.Branch branch, za.ac.sun.cs.green.expr.Expression condition)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

branch

public final PhiCondition.Branch branch

condition

public final za.ac.sun.cs.green.expr.Expression condition

Constructor Detail

PhiCondition

public PhiCondition(PhiCondition.Branch branch,
                    za.ac.sun.cs.green.expr.Expression condition)