astra.reasoner.Queryable Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of astra-interpreter Show documentation

Core interpreter artifact for the ASTRA Language

There is a newer version: 1.4.2

package astra.reasoner;

import java.util.Iterator;
import java.util.LinkedList;
import java.util.List;
import java.util.Queue;

import astra.formula.Formula;

/**
 * A Source for {@link Reasoner} implementations.  This interface defines a single method that
 * should return formulae matching the given formula.
 * 
 * @author rem
 */
public interface Queryable {
	static List EMPTY_LIST = new LinkedList<>();
	
	void addMatchingFormulae(Queue list, Formula formula);

	Iterator iterator(Formula target);
}