Package astra.reasoner.node

Class ANDReasonerNodeFactory

java.lang.Object

astra.reasoner.node.ANDReasonerNodeFactory

All Implemented Interfaces:

ReasonerNodeFactory<AND>

public class ANDReasonerNodeFactory
extends Object
implements ReasonerNodeFactory<AND>

Constructor Summary

Constructors

Constructor	Description
ANDReasonerNodeFactory()

Method Summary

Modifier and Type	Method	Description
ReasonerNode	create(AND formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	create(ReasonerNode parent, AND 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

ANDReasonerNodeFactory

public ANDReasonerNodeFactory()

Method Details

create

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

Specified by:

create in interface ReasonerNodeFactory<AND>

create

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

Specified by:

create in interface ReasonerNodeFactory<AND>