Package astra.reasoner

Class NewReasoner

java.lang.Object

astra.reasoner.NewReasoner

All Implemented Interfaces:

Reasoner

public class NewReasoner
extends Object
implements Reasoner

Field Summary

Fields

Modifier and Type	Field	Description
static Map<Class<? extends Formula>,ReasonerNodeFactory<? extends Formula>>	factories

Constructor Summary

Constructors

Constructor	Description
NewReasoner(Agent agent)

Method Summary

Modifier and Type	Method	Description
void	addSource(Queryable source)
Agent	agent()
ReasonerNode	createReasonerNode(ReasonerNode parent, Formula formula, Map<Integer,Term> bindings, boolean singleResult)
static void	main(String[] args)
List<Map<Integer,Term>>	query(Formula formula)
List<Map<Integer,Term>>	query(Formula formula, Map<Integer,Term> bindings)
List<Map<Integer,Term>>	queryAll(Formula formula)
List<Queryable>	sources()

Methods inherited from class java.lang.Object

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

Field Details

factories

public static Map<Class<? extends Formula>,ReasonerNodeFactory<? extends Formula>> factories

Constructor Details

NewReasoner

public NewReasoner(Agent agent)

Method Details

addSource

public void addSource(Queryable source)

Specified by:

addSource in interface Reasoner

queryAll

public List<Map<Integer,Term>> queryAll(Formula formula)

Specified by:

queryAll in interface Reasoner

query

public List<Map<Integer,Term>> query(Formula formula)

Specified by:

query in interface Reasoner

query

public List<Map<Integer,Term>> query(Formula formula, Map<Integer,Term> bindings)

Specified by:

query in interface Reasoner

createReasonerNode

public ReasonerNode createReasonerNode(ReasonerNode parent, Formula formula, Map<Integer,Term> bindings, boolean singleResult)

agent

public Agent agent()

Specified by:

agent in interface Reasoner

sources

public List<Queryable> sources()

Specified by:

sources in interface Reasoner

main

public static void main(String[] args)