forge.solve
Class Step.Branch

java.lang.Object
  extended by forge.solve.Step
      extended by forge.solve.Step.Branch
All Implemented Interfaces:
CFGElement, ProgramElement
Enclosing class:
Step

public static final class Step.Branch
extends Step

A branch step: a BranchStmt and a truth value.


Nested Class Summary
 
Nested classes/interfaces inherited from class forge.solve.Step
Step.Branch, Step.Call, Step.Update
 
Method Summary
 boolean isBranch()
           
 BranchStmt stmt()
           
 java.lang.String toString()
           
 boolean truth()
           
 
Methods inherited from class forge.solve.Step
cfg, program
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

isBranch

public boolean isBranch()
Specified by:
isBranch in class Step

stmt

public BranchStmt stmt()
Specified by:
stmt in class Step

truth

public boolean truth()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object