|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use IBooleanETIR | |
|---|---|
| org.norecess.citkit.tir.expressions | This package provides the classes for the expressions in a language. |
| org.norecess.citkit.visitors | |
| Uses of IBooleanETIR in org.norecess.citkit.tir.expressions |
|---|
| Classes in org.norecess.citkit.tir.expressions that implement IBooleanETIR | |
|---|---|
class |
BooleanETIR
A way to represent boolean values in Hobbes. |
| Uses of IBooleanETIR in org.norecess.citkit.visitors |
|---|
| Methods in org.norecess.citkit.visitors with parameters of type IBooleanETIR | |
|---|---|
T |
ExpressionTIRVisitor.visitBooleanETIR(IBooleanETIR booleanETIR)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||