Package astra.reasoner

Interface Queryable

All Known Implementing Classes:

Agent, ASTRAClass, EventBeliefManager

public interface Queryable

A Source for Reasoner implementations. This interface defines a single method that should return formulae matching the given formula.

Author:

rem

Field Summary

Fields

Modifier and Type	Field	Description
static List<Formula>	EMPTY_LIST

Method Summary

Modifier and Type	Method	Description
void	addMatchingFormulae(Queue<Formula> list, Formula formula)
Iterator<Formula>	iterator(Formula target)

Field Details

EMPTY_LIST

static final List<Formula> EMPTY_LIST

Method Details

addMatchingFormulae

void addMatchingFormulae(Queue<Formula> list, Formula formula)

iterator

Iterator<Formula> iterator(Formula target)