org.provarules.agent2

Interface ProvaReagent

All Known Implementing Classes:

ProvaReagentImpl

public interface ProvaReagent

Method Summary

Modifier and Type	Method and Description
boolean	canShutdown()
void	consultAsync(java.io.BufferedReader in, java.lang.String key, java.lang.Object[] objects)
void	consultAsync(java.lang.String src, java.lang.String key, java.lang.Object[] objects)
java.util.concurrent.Future<java.util.List<ProvaSolution[]>>	consultSync(java.io.BufferedReader in, java.lang.String key, java.lang.Object[] objects)
java.util.concurrent.Future<java.util.List<ProvaSolution[]>>	consultSync(java.lang.String src, java.lang.String key, java.lang.Object[] objects)
void	executeTask(long partition, java.lang.Runnable task, ProvaThreadpoolEnum threadPool)
java.lang.String	getAgent()
java.util.List<ProvaSolution[]>	getInitializationSolutions()
ProvaKnowledgeBase	getKb()
ProvaMessenger	getMessenger()
ProvaSwingAdaptor	getSwingAdaptor()
ProvaWorkflows	getWorkflows()
boolean	isInPartitionThread(long partition)
void	setAllowedShutdown(boolean allowedShutdown)
void	setGlobalConstant(java.lang.String name, java.lang.Object value)
void	setPrintWriter(java.io.PrintWriter printWriter)
void	shutdown()
boolean	spawn(ProvaList terms)
void	submitAsync(long partition, ProvaRule goal, ProvaThreadpoolEnum targetPool)
void	unconsultSync(java.lang.String src)

Method Detail

setPrintWriter

void setPrintWriter(java.io.PrintWriter printWriter)

consultSync

java.util.concurrent.Future<java.util.List<ProvaSolution[]>> consultSync(java.lang.String src,
                                                                         java.lang.String key,
                                                                         java.lang.Object[] objects)

consultSync

java.util.concurrent.Future<java.util.List<ProvaSolution[]>> consultSync(java.io.BufferedReader in,
                                                                         java.lang.String key,
                                                                         java.lang.Object[] objects)

getMessenger

ProvaMessenger getMessenger()

getKb

ProvaKnowledgeBase getKb()

consultAsync

void consultAsync(java.lang.String src,
                  java.lang.String key,
                  java.lang.Object[] objects)

consultAsync

void consultAsync(java.io.BufferedReader in,
                  java.lang.String key,
                  java.lang.Object[] objects)

submitAsync

void submitAsync(long partition,
                 ProvaRule goal,
                 ProvaThreadpoolEnum targetPool)

spawn

boolean spawn(ProvaList terms)

getAgent

java.lang.String getAgent()

shutdown

void shutdown()

getInitializationSolutions

java.util.List<ProvaSolution[]> getInitializationSolutions()

getWorkflows

ProvaWorkflows getWorkflows()

unconsultSync

void unconsultSync(java.lang.String src)

getSwingAdaptor

ProvaSwingAdaptor getSwingAdaptor()

executeTask

void executeTask(long partition,
                 java.lang.Runnable task,
                 ProvaThreadpoolEnum threadPool)

canShutdown

boolean canShutdown()

setAllowedShutdown

void setAllowedShutdown(boolean allowedShutdown)

isInPartitionThread

boolean isInPartitionThread(long partition)

setGlobalConstant

void setGlobalConstant(java.lang.String name,
                       java.lang.Object value)