• Home
• com.astralanguage
• astra-interpreter
• 1.4.4
• source code
• Queryable.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

astra.reasoner.Queryable Maven / Gradle / Ivy

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);
}