ILogical (org.choco-solver-choco-solver 4.10.2 API)

All Superinterfaces:

Cloneable

All Known Subinterfaces:

BoolVar

All Known Implementing Classes:

BoolNotView, BoolVarImpl, EqView, FixedBoolVarImpl, IntBoolView, LeqView, LogOp
```
public interface ILogical
extends Cloneable
```
Since:

23 nov. 2010

Author:

Charles Prud'homme

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`boolean`	`isLit()`	Current tree is a literal
`boolean`	`isNot()`	Current tree is rooted with NOT logical operator This is a one way relationship: in case a = not(b) a.isNot() returns true whereas b.isNot() returns false (unless b = not(c)...)
`void`	`setNot(boolean isNot)`	States whether or not this variable is the negation of another.

- Method Detail
  - isLit
```
boolean isLit()
```
    Current tree is a literal
    
    Returns:
    
    true if this is a literal
  - isNot
```
boolean isNot()
```
    Current tree is rooted with NOT logical operator This is a one way relationship: in case a = not(b) a.isNot() returns true whereas b.isNot() returns false (unless b = not(c)...)
    
    Returns:
    
    true if this is NOT
  - setNot
```
void setNot(boolean isNot)
```
    States whether or not this variable is the negation of another. This is a one way relationship: in case a = not(b) a.isNot() returns true whereas b.isNot() returns false (unless b = not(c)...)
    
    Parameters:
    
    isNot - true iff this variable is the negation of another