A - the parameter typeB - the return typepublic interface IrBoolExprVisitor<A,B>
| Modifier and Type | Method and Description |
|---|---|
B |
visit(IrAcyclic ir,
A a) |
B |
visit(IrAllDifferent ir,
A a) |
B |
visit(IrAnd ir,
A a) |
B |
visit(IrBoolChannel ir,
A a) |
B |
visit(IrBoolVar ir,
A a) |
B |
visit(IrCompare ir,
A a) |
B |
visit(IrFilterString ir,
A a) |
B |
visit(IrIfOnlyIf ir,
A a) |
B |
visit(IrIfThenElse ir,
A a) |
B |
visit(IrImplies ir,
A a) |
B |
visit(IrIntChannel ir,
A a) |
B |
visit(IrLone ir,
A a) |
B |
visit(IrMember ir,
A a) |
B |
visit(IrNot ir,
A a) |
B |
visit(IrNotImplies ir,
A a) |
B |
visit(IrNotMember ir,
A a) |
B |
visit(IrNotWithin ir,
A a) |
B |
visit(IrOne ir,
A a) |
B |
visit(IrOr ir,
A a) |
B |
visit(IrSelectN ir,
A a) |
B |
visit(IrSetTest ir,
A a) |
B |
visit(IrSortSets ir,
A a) |
B |
visit(IrSortStrings ir,
A a) |
B |
visit(IrSortStringsChannel ir,
A a) |
B |
visit(IrSubsetEq ir,
A a) |
B |
visit(IrUnreachable ir,
A a) |
B |
visit(IrWithin ir,
A a) |
B |
visit(IrXor ir,
A a) |
B visit(IrNotImplies ir, A a)
B visit(IrIfThenElse ir, A a)
B visit(IrIfOnlyIf ir, A a)
B visit(IrNotWithin ir, A a)
B visit(IrNotMember ir, A a)
B visit(IrSubsetEq ir, A a)
B visit(IrBoolChannel ir, A a)
B visit(IrIntChannel ir, A a)
B visit(IrSortStrings ir, A a)
B visit(IrSortSets ir, A a)
B visit(IrSortStringsChannel ir, A a)
B visit(IrAllDifferent ir, A a)
B visit(IrUnreachable ir, A a)
B visit(IrFilterString ir, A a)
Copyright © 2013. All Rights Reserved.