1 // LSSolver.java, created Feb 8, 2005 4:28:23 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 * LSSolver
10 *
11 * @author jwhaley
12 * @version $Id: LSSolver.java 497 2005-04-06 17:03:47Z joewhaley $
13 */
14 public class LSSolver extends Solver {
15 /***
16 *
17 */
18 public LSSolver() {
19 super();
20 // TODO Auto-generated constructor stub
21 }
22
23 /* (non-Javadoc)
24 * @see net.sf.bddbddb.Solver#createInferenceRule(java.util.List, net.sf.bddbddb.RuleTerm)
25 */
26 InferenceRule createInferenceRule(List top, RuleTerm bottom) {
27 return new LSInferenceRule(this, top, bottom);
28 }
29
30 /* (non-Javadoc)
31 * @see net.sf.bddbddb.Solver#createEquivalenceRelation(net.sf.bddbddb.Domain, net.sf.bddbddb.Domain)
32 */
33 Relation createEquivalenceRelation(Domain fd1, Domain fd2) {
34 // TODO Auto-generated method stub
35 return null;
36 }
37
38 /* (non-Javadoc)
39 * @see net.sf.bddbddb.Solver#createLessThanRelation(net.sf.bddbddb.Domain, net.sf.bddbddb.Domain)
40 */
41 Relation createLessThanRelation(Domain fd1, Domain fd2) {
42 // TODO Auto-generated method stub
43 return null;
44 }
45
46 /* (non-Javadoc)
47 * @see net.sf.bddbddb.Solver#createGreaterThanRelation(net.sf.bddbddb.Domain, net.sf.bddbddb.Domain)
48 */
49 Relation createGreaterThanRelation(Domain fd1, Domain fd2) {
50 // TODO Auto-generated method stub
51 return null;
52 }
53
54 /* (non-Javadoc)
55 * @see net.sf.bddbddb.Solver#createMapRelation(net.sf.bddbddb.Domain, net.sf.bddbddb.Domain)
56 */
57 Relation createMapRelation(Domain fd1, Domain fd2) {
58 // TODO Auto-generated method stub
59 return null;
60 }
61
62 /* (non-Javadoc)
63 * @see net.sf.bddbddb.Solver#createRelation(java.lang.String, java.util.List)
64 */
65 public Relation createRelation(String name, List attributes) {
66 return new LSRelation(this, name, attributes);
67 }
68
69 /* (non-Javadoc)
70 * @see net.sf.bddbddb.Solver#solve()
71 */
72 public void solve() {
73 // TODO Auto-generated method stub
74 }
75
76 /* (non-Javadoc)
77 * @see net.sf.bddbddb.Solver#finish()
78 */
79 public void finish() {
80 // TODO Auto-generated method stub
81 }
82
83 /* (non-Javadoc)
84 * @see net.sf.bddbddb.Solver#cleanup()
85 */
86 public void cleanup() {
87 // TODO Auto-generated method stub
88 }
89 }