Class KUserNumConstraint.askRet

  • Enclosing class:
    KUserNumConstraint

    public static final class KUserNumConstraint.askRet
    extends java.lang.Object
    askIfEntailed return values
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static int CFALSE  
      static int CTRUE  
      static int CUNKNOWN  
    • Constructor Summary

      Constructors 
      Constructor Description
      askRet()  
    • Method Summary

      • Methods inherited from class java.lang.Object

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