public class LinearTimeExp extends java.lang.Object implements NativeToReal
LinearTimeExp()
java.lang.String
ToReal(Value v)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public LinearTimeExp()
public java.lang.String ToReal(Value v)
ToReal
NativeToReal