Sigma(BasicBlock basicBlock, Variable value)
BasicBlock
getBasicBlock()
List<Outgoing>
getOutgoings()
Variable
getValue()
void
setBasicBlock(BasicBlock basicBlock)
setValue(Variable value)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait