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
ReasonerNode	create(NOT formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	create(ReasonerNode parent, NOT formula, Map<Integer,Term> bindings, boolean singleResult)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

NOTReasonerNodeFactory

public NOTReasonerNodeFactory()

Method Details

create

public ReasonerNode create(NOT formula, Map<Integer,Term> bindings, boolean singleResult)

Specified by:

create in interface ReasonerNodeFactory<NOT>

create

public ReasonerNode create(ReasonerNode parent, NOT formula, Map<Integer,Term> bindings, boolean singleResult)

Specified by:

create in interface ReasonerNodeFactory<NOT>