Method: getExp()

1: package org.overture.codegen.trans.quantifier;
2:
3: import org.overture.codegen.ir.SExpIR;
4: import org.overture.codegen.ir.STypeIR;
5:
6: public class CounterData
7: {
8:         private STypeIR type;
9:         private SExpIR exp;
10:
11:         public CounterData(STypeIR type, SExpIR exp)
12:         {
13:                 super();
14:                 this.type = type;
15:                 this.exp = exp;
16:         }
17:
18:         public STypeIR getType()
19:         {
20:                 return type;
21:         }
22:
23:         public SExpIR getExp()
24:         {
25:                 return exp;
26:         }
27: }