Mercurial > hg > Applications > JavaLite
view src/lite/ITLNodeFactory.java @ 7:c02f12316c01
*** empty log message ***
author | kono |
---|---|
date | Wed, 26 Dec 2007 11:48:51 +0900 |
parents | |
children | 18dbdc0321b9 |
line wrap: on
line source
package lite; import java.util.LinkedList; import logicNode.parser.LogicNodeParser; import logicNode.parser.MacroNodeParser; public class ITLNodeFactory implements ITLNodeFactoryInterface<ITLSolver> { public ITLSolver chopNode(ITLSolver former, ITLSolver later) { // TODO Auto-generated method stub return null; } public ITLSolver emptyNode() { // TODO Auto-generated method stub return null; } public ITLSolver nextNode(ITLSolver node) { // TODO Auto-generated method stub return null; } public ITLSolver macroNode(ITLSolver macro, String body) { // TODO Auto-generated method stub return null; } public ITLSolver predicateNode(ITLSolver predicate, LinkedList<ITLSolver> arg, MacroNodeParser<ITLSolver> name) { // TODO Auto-generated method stub return null; } public ITLSolver andNode(ITLSolver left, ITLSolver right) { // TODO Auto-generated method stub return null; } public ITLSolver existsNode(ITLSolver var, ITLSolver node) { // TODO Auto-generated method stub return null; } public ITLSolver falseNode() { // TODO Auto-generated method stub return null; } public ITLSolver notNode(ITLSolver node) { // TODO Auto-generated method stub return null; } public ITLSolver orNode(ITLSolver left, ITLSolver right) { // TODO Auto-generated method stub return null; } public ITLSolver predicateNode(ITLSolver predicate, LinkedList<ITLSolver> arg, LogicNodeParser<ITLSolver> parser) { // TODO Auto-generated method stub return null; } public ITLSolver trueNode() { // TODO Auto-generated method stub return null; } public ITLSolver variableNode(String name, boolean value) { // TODO Auto-generated method stub return null; } }