View Javadoc

1   // LSInferenceRule.java, created Feb 8, 2005 4:29:36 AM by joewhaley
2   // Copyright (C) 2005 John Whaley <jwhaley@alum.mit.edu>
3   // Licensed under the terms of the GNU LGPL; see COPYING for details.
4   package net.sf.bddbddb;
5   
6   import java.util.List;
7   
8   /***
9    * LSInferenceRule
10   * 
11   * @author jwhaley
12   * @version $Id: LSInferenceRule.java 497 2005-04-06 17:03:47Z joewhaley $
13   */
14  public class LSInferenceRule extends InferenceRule {
15      /***
16       * @param solver
17       * @param top
18       * @param bottom
19       */
20      public LSInferenceRule(Solver solver, List top, RuleTerm bottom) {
21          super(solver, top, bottom);
22          // TODO Auto-generated constructor stub
23      }
24  
25      /***
26       * @param solver
27       * @param top
28       * @param bottom
29       * @param id
30       */
31      public LSInferenceRule(Solver solver, List top, RuleTerm bottom, int id) {
32          super(solver, top, bottom, id);
33          // TODO Auto-generated constructor stub
34      }
35  
36      /* (non-Javadoc)
37       * @see net.sf.bddbddb.InferenceRule#update()
38       */
39      public boolean update() {
40          // TODO Auto-generated method stub
41          return false;
42      }
43  
44      /* (non-Javadoc)
45       * @see net.sf.bddbddb.InferenceRule#reportStats()
46       */
47      public void reportStats() {
48          // TODO Auto-generated method stub
49      }
50  }