001package org.clafer.ir;
002
003/**
004 * @param <A> the parameter type
005 * @param <B> the return type
006 * @author jimmy
007 */
008public abstract class IrBoolExprVisitorAdapter<A, B> implements IrBoolExprVisitor<A, B> {
009
010    @Override
011    public B visit(IrBoolVar ir, A a) {
012        return null;
013    }
014
015    @Override
016    public B visit(IrNot ir, A a) {
017        return null;
018    }
019
020    @Override
021    public B visit(IrAnd ir, A a) {
022        return null;
023    }
024
025    @Override
026    public B visit(IrLone ir, A a) {
027        return null;
028    }
029
030    @Override
031    public B visit(IrOne ir, A a) {
032        return null;
033    }
034
035    @Override
036    public B visit(IrOr ir, A a) {
037        return null;
038    }
039
040    @Override
041    public B visit(IrImplies ir, A a) {
042        return null;
043    }
044
045    @Override
046    public B visit(IrNotImplies ir, A a) {
047        return null;
048    }
049
050    @Override
051    public B visit(IrIfThenElse ir, A a) {
052        return null;
053    }
054
055    @Override
056    public B visit(IrIfOnlyIf ir, A a) {
057        return null;
058    }
059
060    @Override
061    public B visit(IrXor ir, A a) {
062        return null;
063    }
064
065    @Override
066    public B visit(IrWithin ir, A a) {
067        return null;
068    }
069
070    @Override
071    public B visit(IrNotWithin ir, A a) {
072        return null;
073    }
074
075    @Override
076    public B visit(IrCompare ir, A a) {
077        return null;
078    }
079
080    @Override
081    public B visit(IrSetTest ir, A a) {
082        return null;
083    }
084
085    @Override
086    public B visit(IrMember ir, A a) {
087        return null;
088    }
089
090    @Override
091    public B visit(IrNotMember ir, A a) {
092        return null;
093    }
094
095    @Override
096    public B visit(IrSubsetEq ir, A a) {
097        return null;
098    }
099
100    @Override
101    public B visit(IrBoolChannel ir, A a) {
102        return null;
103    }
104
105    @Override
106    public B visit(IrIntChannel ir, A a) {
107        return null;
108    }
109
110    @Override
111    public B visit(IrSortStrings ir, A a) {
112        return null;
113    }
114
115    @Override
116    public B visit(IrSortSets ir, A a) {
117        return null;
118    }
119
120    @Override
121    public B visit(IrSortStringsChannel ir, A a) {
122        return null;
123    }
124
125    @Override
126    public B visit(IrAllDifferent ir, A a) {
127        return null;
128    }
129
130    @Override
131    public B visit(IrSelectN ir, A a) {
132        return null;
133    }
134
135    @Override
136    public B visit(IrAcyclic ir, A a) {
137        return null;
138    }
139
140    @Override
141    public B visit(IrUnreachable ir, A a) {
142        return null;
143    }
144
145    @Override
146    public B visit(IrFilterString ir, A a) {
147        return null;
148    }
149}