Mercurial > hg > Applications > JavaLite

comparison src/lite/MainLoop.java @ 85:f69763106257

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author kono
date Fri, 18 Jan 2008 00:00:27 +0900
parents 034c573af8ea
children 6b3535ea6958
comparison
equal deleted inserted replaced
84:e70b8c36ec0a 85:f69763106257
1 package lite; 1 package lite;
2
2 3
3 import sbdd.BDDSatisfier; 4 import sbdd.BDDSatisfier;
4 5
5 public class MainLoop { 6 public class MainLoop {
6 7
7 public static void main(String arg[]) { 8 public static void main(String arg[]) {
8 BDDSatisfier sat = new BDDSatisfier(); 9 BDDSatisfier sat = new BDDSatisfier();
9 // read predefined examples 10 // read predefined examples
10 sat.p.parseFile("data/example"); 11 if (!sat.p.getResource("/data/example"))
12 sat.p.parseFile("data/example");
11 sat.p.help(); 13 sat.p.help();
12 sat.p.parse(System.in); 14 sat.p.parse(System.in);
13 } 15 }
14 } 16 }