KUserConstraint.askRet

java.lang.Object
- com.artelys.kalis.KUserConstraint.askRet

Enclosing class:: KUserConstraint

public static final class KUserConstraint.askRet
extends java.lang.Object

Return values for `askIfEntailed`

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  static int CFALSE
  Constraint is proven false
  
  static int CTRUE
  Constraint is proven true
  
  static int CUNKNOWN
  Unkown status of constraint
- 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

- Field Detail
  - CUNKNOWN
```
public static final int CUNKNOWN
```
    Unkown status of constraint
    
    See Also:
    
    Constant Field Values
  - CFALSE
```
public static final int CFALSE
```
    Constraint is proven false
    
    See Also:
    
    Constant Field Values
  - CTRUE
```
public static final int CTRUE
```
    Constraint is proven true
    
    See Also:
    
    Constant Field Values
- Constructor Detail
  - askRet
```
public askRet()
```