View Javadoc

1   // BooleanAssign.java, created Jul 7, 2004 12:50:19 PM 2004 by jwhaley
2   // Copyright (C) 2004 John Whaley <jwhaley@alum.mit.edu>
3   // Licensed under the terms of the GNU LGPL; see COPYING for details.
4   package net.sf.bddbddb.ir.dynamic;
5   
6   import net.sf.bddbddb.ir.Operation;
7   
8   /***
9    * BooleanAssign
10   * 
11   * @author jwhaley
12   * @version $Id: BooleanAssign.java 328 2004-10-16 02:45:30Z joewhaley $
13   */
14  public abstract class BooleanAssign extends Operation {
15      IRBoolean dest;
16  
17      public BooleanAssign(IRBoolean dest) {
18          this.dest = dest;
19      }
20  
21      public IRBoolean getBoolDest() {
22          return dest;
23      }
24  }