True

java.lang.Object
- simplebdd.bool.True

All Implemented Interfaces:

java.lang.Comparable<BoolPred>, BoolPred, pBoolPred
```
class True
extends java.lang.Object
implements pBoolPred
```

Field Summary
- Fields inherited from interface simplebdd.bool.BoolPred
  F, factory, functions, T

Constructor Summary

Constructors
Constructor and Description

True()

Constructors
Constructor and Description
`True()`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`BoolPred`	`and(BoolPred p)`
`int`	`compareTo(BoolPred that)`
`java.lang.String`	`id()`
`BoolPred`	`iff(BoolPred p)`
`BoolPred`	`impl(BoolPred p)`
`void`	`initToGraphString()`
`BoolPred`	`ite(BoolPred p, BoolPred q)`
`java.lang.String`	`name()`
`BoolPred`	`not()`
`BoolPred`	`or(BoolPred p)`
`void`	`toGraphString(java.lang.StringBuilder b)`
`java.lang.String`	`toString()`
`BoolPred`	`xor(BoolPred p)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - True
```
True()
```
- Method Detail
  - not
```
public BoolPred not()
```
    Specified by:
    
    not in interface BoolPred
  - and
```
public BoolPred and(BoolPred p)
```
    Specified by:
    
    and in interface BoolPred
  - or
```
public BoolPred or(BoolPred p)
```
    Specified by:
    
    or in interface BoolPred
  - xor
```
public BoolPred xor(BoolPred p)
```
    Specified by:
    
    xor in interface BoolPred
  - impl
```
public BoolPred impl(BoolPred p)
```
    Specified by:
    
    impl in interface BoolPred
  - iff
```
public BoolPred iff(BoolPred p)
```
    Specified by:
    
    iff in interface BoolPred
  - ite
```
public BoolPred ite(BoolPred p,
                    BoolPred q)
```
    Specified by:
    
    ite in interface BoolPred
  - name
```
public java.lang.String name()
```
    Specified by:
    
    name in interface BoolPred
  - id
```
public java.lang.String id()
```
    Specified by:
    
    id in interface pBoolPred
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - compareTo
```
public int compareTo(BoolPred that)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<BoolPred>
    
    Specified by:
    
    compareTo in interface pBoolPred
  - initToGraphString
```
public void initToGraphString()
```
    Specified by:
    
    initToGraphString in interface pBoolPred
  - toGraphString
```
public void toGraphString(java.lang.StringBuilder b)
```
    Specified by:
    
    toGraphString in interface pBoolPred

Class True

Field Summary

Fields inherited from interface simplebdd.bool.BoolPred

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

True

Method Detail

not

and

or

xor

impl

iff

ite

name

id

toString

compareTo

initToGraphString

toGraphString