|
||||||||||
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 |