Package astra.reasoner.node

Class BindReasonerNodeFactory

java.lang.Object

astra.reasoner.node.BindReasonerNodeFactory

All Implemented Interfaces:

ReasonerNodeFactory<Bind>

public class BindReasonerNodeFactory
extends Object
implements ReasonerNodeFactory<Bind>

Constructor Summary

Constructors

Constructor	Description
BindReasonerNodeFactory()

Method Summary

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

BindReasonerNodeFactory

public BindReasonerNodeFactory()

Method Details

create

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

Specified by:

create in interface ReasonerNodeFactory<Bind>

create

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

Specified by:

create in interface ReasonerNodeFactory<Bind>