Package astra.reasoner.node
Class NOTReasonerNodeFactory
java.lang.Object
astra.reasoner.node.NOTReasonerNodeFactory
- All Implemented Interfaces:
ReasonerNodeFactory<NOT>
public class NOTReasonerNodeFactory extends Object implements ReasonerNodeFactory<NOT>
-
Constructor Summary
Constructors Constructor Description NOTReasonerNodeFactory() -
Method Summary
Modifier and Type Method Description ReasonerNodecreate(NOT formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodecreate(ReasonerNode parent, NOT formula, Map<Integer,Term> bindings, boolean singleResult)
-
Constructor Details
-
NOTReasonerNodeFactory
public NOTReasonerNodeFactory()
-
-
Method Details
-
create
- Specified by:
createin interfaceReasonerNodeFactory<NOT>
-
create
public ReasonerNode create(ReasonerNode parent, NOT formula, Map<Integer,Term> bindings, boolean singleResult)- Specified by:
createin interfaceReasonerNodeFactory<NOT>
-