edu.toronto.cs.yasm.pprogram
Class PCond
java.lang.Object
edu.toronto.cs.yasm.pprogram.PCond
public class PCond
- extends java.lang.Object
PCond.java
Created: Mon Jul 5 12:26:11 2004
- Version:
- 1.0
- Author:
- Kelvin Ku
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
PCond
public PCond(Block _sourceBlock,
Expr _cond)
PCond
public PCond(Expr _origCond,
Expr _cond)
fromCBool
public Expr fromCBool(Expr cExpr)
getCond
public Expr getCond()
getSourceCond
public Block getSourceCond()
setCond
public void setCond(Expr e)
getOrigCond
public Expr getOrigCond()
setOrigCond
public void setOrigCond(Expr v)
setRefinerInfo
public void setRefinerInfo(java.lang.Object o)
getRefinerInfo
public java.lang.Object getRefinerInfo()
computeExpr
public void computeExpr(ExprFactory fac)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object