View Javadoc

1   // IdentityTranslator.java, created Oct 24, 2004 12:19:15 AM 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.order;
5   
6   import java.util.LinkedList;
7   
8   /***
9    * The identity translation.
10   * 
11   * @author jwhaley
12   * @version $Id: IdentityTranslator.java 435 2005-02-13 03:24:59Z cs343 $
13   */
14  public class IdentityTranslator implements OrderTranslator {
15      
16      /***
17       * Singleton instance.
18       */
19      public static final IdentityTranslator INSTANCE = new IdentityTranslator();
20      
21      /* (non-Javadoc)
22       * @see net.sf.bddbddb.FindBestDomainOrder.OrderTranslator#translate(net.sf.bddbddb.FindBestDomainOrder.Order)
23       */
24      public Order translate(Order o) { return new Order(new LinkedList(o)); }
25      
26  }