org.clafer.ir

Class IrBoolExprVisitorAdapter<A,B>

java.lang.Object

org.clafer.ir.IrBoolExprVisitorAdapter<A,B>

Type Parameters:

A - the parameter type

B - the return type

All Implemented Interfaces:

IrBoolExprVisitor<A,B>

public abstract class IrBoolExprVisitorAdapter<A,B>
extends Object
implements IrBoolExprVisitor<A,B>

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
IrBoolExprVisitorAdapter()

Method Summary

Methods

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IrBoolExprVisitorAdapter

public IrBoolExprVisitorAdapter()

Method Detail

visit

public B visit(IrBoolVar ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrNot ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrAnd ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrLone ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrOne ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrOr ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrImplies ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrNotImplies ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrIfThenElse ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrIfOnlyIf ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrXor ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrWithin ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrNotWithin ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrCompare ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrSetTest ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrMember ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrNotMember ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrSubsetEq ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrBoolChannel ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrIntChannel ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrSortStrings ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrSortSets ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrSortStringsChannel ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrAllDifferent ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrSelectN ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrAcyclic ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrUnreachable ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>

visit

public B visit(IrFilterString ir,
      A a)

Specified by:

visit in interface IrBoolExprVisitor<A,B>