Package com.semedy.reasoner.builtin.connector

Class ReasonerConnector

java.lang.Object

com.semedy.reasoner.api.builtin.AbstractConnector

com.semedy.reasoner.builtin.connector.ReasonerConnector

All Implemented Interfaces:

Builtin, Connector

public class ReasonerConnector
extends AbstractConnector

Constructor Summary

Constructors

Constructor	Description
ReasonerConnector()

Method Summary

Modifier and Type	Method	Description
void	clear()	frees up allocated resources
Builtin	cloneBuiltin()	clone the builtin
void	evaluationFinished()	call back function.
String[]	getArgumentDescriptions()	get descriptions for the different arguments
int	getArity()	arity of the built-in
String	getDescription()	get a description for the builtin
String	getName()	the name to be used in logical formulas
long	getWeight(BitSet grounds, BitSet variableInstantiations, Object[] args)	the weight of the builtin.
void	init(Object[] args)	initialize the builtin
boolean	isEvaluable(BitSet grounds, BitSet variableInstantiations, Object[] args)	is builtin evaluable with a certain instantiation of variables
BitSet	objectGeneratingArguments(BitSet grounds, BitSet variableInstantiations, Object[] args)	indicate where new objects/ data are generated

Methods inherited from class com.semedy.reasoner.api.builtin.AbstractConnector

clearData, eval, getConnectorInstances, getNumberOfRestrictions, getType, getUID, input, isInternal, readsSymbolTable, setProperties, setSymbolTable, start, stop, writesSymbolTable

Methods inherited from class java.lang.Object

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

Constructor Details

ReasonerConnector

public ReasonerConnector()

Method Details

isEvaluable

public boolean isEvaluable(BitSet grounds,
 BitSet variableInstantiations,
 Object[] args)
                    throws BuiltinException

Description copied from interface: Builtin

is builtin evaluable with a certain instantiation of variables

Specified by:

isEvaluable in interface Builtin

Overrides:

isEvaluable in class AbstractConnector

Parameters:

grounds - , which arguments are ground

variableInstantiations - , which variables are instantiated

args - , the arguments

Returns:

was it evaluable

Throws:

BuiltinException

init

public void init(Object[] args)
          throws BuiltinException,
InterruptedException,
IOException

Description copied from interface: Builtin

initialize the builtin

Specified by:

init in interface Builtin

Specified by:

init in class AbstractConnector

Parameters:

args - , the builtin arguments

Throws:

InterruptedException

IOException

BuiltinException

evaluationFinished

public void evaluationFinished()
                        throws BuiltinException,
InterruptedException

Description copied from interface: Builtin

call back function. Is called when the whole evaluation has been finished

Specified by:

evaluationFinished in interface Builtin

Overrides:

evaluationFinished in class AbstractConnector

Throws:

BuiltinException

InterruptedException

getWeight

public long getWeight(BitSet grounds,
 BitSet variableInstantiations,
 Object[] args)

Description copied from interface: Builtin

the weight of the builtin. Determines when the builtin is executed in a rule

Specified by:

getWeight in interface Builtin

Specified by:

getWeight in class AbstractConnector

Parameters:

grounds - , ground arguments

variableInstantiations - , instantiated variables

args - , arguments of the builtin

Returns:

the weight of the builtin (influences the position in the rule)

objectGeneratingArguments

public BitSet objectGeneratingArguments(BitSet grounds,
 BitSet variableInstantiations,
 Object[] args)
                                 throws BuiltinException

indicate where new objects/ data are generated

Specified by:

objectGeneratingArguments in interface Builtin

Specified by:

objectGeneratingArguments in class AbstractConnector

Parameters:

grounds - , ground argument positions

variableInstantiations - , instantiated variables

args - , arguments of the literal

Returns:

each bit indicates the argument position where new objects are created

Throws:

BuiltinException

getName

public String getName()

the name to be used in logical formulas

Specified by:

getName in interface Builtin

Specified by:

getName in class AbstractConnector

Returns:

the name of the built-in

getArity

public int getArity()

arity of the built-in

Specified by:

getArity in interface Builtin

Specified by:

getArity in class AbstractConnector

Returns:

the arity of the built-in

getArgumentDescriptions

public String[] getArgumentDescriptions()

Description copied from interface: Builtin

get descriptions for the different arguments

Specified by:

getArgumentDescriptions in interface Builtin

Specified by:

getArgumentDescriptions in class AbstractConnector

Returns:

a description of the arguments of the built-in

getDescription

public String getDescription()

Description copied from interface: Builtin

get a description for the builtin

Specified by:

getDescription in interface Builtin

Specified by:

getDescription in class AbstractConnector

Returns:

a description of the built-in

cloneBuiltin

public Builtin cloneBuiltin()

Description copied from interface: Builtin

clone the builtin

Specified by:

cloneBuiltin in interface Builtin

Specified by:

cloneBuiltin in class AbstractConnector

Returns:

the cloned built-in

clear

public void clear()

Description copied from interface: Builtin

frees up allocated resources