Package com.semedy.reasoner.builtin.filter

Class BooleanExpression

java.lang.Object

com.semedy.reasoner.builtin.filter.BooleanExpression

All Implemented Interfaces:

Builtin, FilterBuiltin, BuiltinContainer, Iterable<Builtin>

public class BooleanExpression
extends Object
implements FilterBuiltin, BuiltinContainer

Constructor Summary

Constructors

Constructor	Description
BooleanExpression()

Method Summary

Modifier and Type	Method	Description
Boolean	and(Boolean a, Boolean b)
Boolean	between(Object o1, Object o2, Object o3)
Boolean	betweenOrEqual(Object o1, Object o2, Object o3)
Boolean	betweenOrEqualLeft(Object o1, Object o2, Object o3)
Boolean	betweenOrEqualRight(Object o1, Object o2, Object o3)
void	clear()	frees up allocated resources
Builtin	cloneBuiltin()	clone the builtin
Boolean	equals(Object o1, Object o2)
void	evaluationFinished()	call back function.
String[]	getArgumentDescriptions()	get descriptions for the different arguments
int	getArity()	get the arity of the builtin
String	getDescription()	get a description for the builtin
String	getName()	get the name of the builtin
BuiltinType	getType()	get the type of the builtin
long	getWeight(BitSet grounds, BitSet variableInstantiations, Object[] args)	the weight of the builtin.
Boolean	greater(Object o1, Object o2)
Boolean	greaterOrEqual(Object o1, Object o2)
void	init(Object[] args)	initialize the builtin
boolean	isEvaluable(BitSet grounds, BitSet variableInstantiations, Object[] args)	is builtin evaluable with a certain instantiation of variables
boolean	isInternal()	is it a builtin for internal use only
boolean	isTrue(long[] input)	is built-in true for given arguments
Iterator<Builtin>	iterator()
Boolean	less(Object o1, Object o2)
Boolean	lessOrEqual(Object o1, Object o2)
Boolean	not(Boolean a)
BitSet	objectGeneratingArguments(BitSet grounds, BitSet variableInstantiations, Object[] args)	In which argument position are new objects created
Boolean	or(Boolean a, Boolean b)
boolean	readsSymbolTable()	does the builtin read the symbol table
void	setProperties(Properties prp)	set the sytem properties
void	setSymbolTable(SymbolTable symbolTable)	set the symbol table
boolean	writesSymbolTable()	does the builtin write into the symbol table
Boolean	xor(Boolean a, Boolean b)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

BooleanExpression

public BooleanExpression()

Method Details

setProperties

public void setProperties(Properties prp)

Description copied from interface: Builtin

set the sytem properties

Specified by:

setProperties in interface Builtin

Parameters:

prp - , properties

setSymbolTable

public void setSymbolTable(SymbolTable symbolTable)

Description copied from interface: Builtin

set the symbol table

Specified by:

setSymbolTable in interface Builtin

Parameters:

symbolTable - , the symbol table

and

public Boolean and(Boolean a,
 Boolean b)

or

public Boolean or(Boolean a,
 Boolean b)

not

public Boolean not(Boolean a)

xor

public Boolean xor(Boolean a,
 Boolean b)

less

public Boolean less(Object o1,
 Object o2)

lessOrEqual

public Boolean lessOrEqual(Object o1,
 Object o2)

greater

public Boolean greater(Object o1,
 Object o2)

equals

public Boolean equals(Object o1,
 Object o2)

greaterOrEqual

public Boolean greaterOrEqual(Object o1,
 Object o2)

between

public Boolean between(Object o1,
 Object o2,
 Object o3)

betweenOrEqual

public Boolean betweenOrEqual(Object o1,
 Object o2,
 Object o3)

betweenOrEqualRight

public Boolean betweenOrEqualRight(Object o1,
 Object o2,
 Object o3)

betweenOrEqualLeft

public Boolean betweenOrEqualLeft(Object o1,
 Object o2,
 Object o3)

isTrue

public boolean isTrue(long[] input)
               throws InterruptedException,
IOException,
SemReasonerException

Description copied from interface: FilterBuiltin

is built-in true for given arguments

Specified by:

isTrue in interface FilterBuiltin

Parameters:

input - , the arguments

Returns:

Throws:

InterruptedException

IOException

ReasoningException

SemReasonerException

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

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

Description copied from interface: Builtin

initialize the builtin

Specified by:

init in interface Builtin

Parameters:

args - , the builtin arguments

Throws:

InterruptedException

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

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

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

Description copied from interface: Builtin

In which argument position are new objects created

Specified by:

objectGeneratingArguments in interface Builtin

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()

Description copied from interface: Builtin

get the name of the builtin

Specified by:

getName in interface Builtin

Returns:

the name of the built-in

getArity

public int getArity()

Description copied from interface: Builtin

get the arity of the builtin

Specified by:

getArity in interface Builtin

Returns:

the arity of the built-in

getType

public BuiltinType getType()

Description copied from interface: Builtin

get the type of the builtin

Specified by:

getType in interface Builtin

Returns:

the type of the built-in

isInternal

public boolean isInternal()

Description copied from interface: Builtin

is it a builtin for internal use only

Specified by:

isInternal in interface Builtin

Returns:

getDescription

public String getDescription()

Description copied from interface: Builtin

get a description for the builtin

Specified by:

getDescription in interface Builtin

Returns:

a description 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

Returns:

a description of the arguments of the built-in

readsSymbolTable

public boolean readsSymbolTable()

Description copied from interface: Builtin

does the builtin read the symbol table

Specified by:

readsSymbolTable in interface Builtin

Returns:

true if it reads the symbol table

writesSymbolTable

public boolean writesSymbolTable()

Description copied from interface: Builtin

does the builtin write into the symbol table

Specified by:

writesSymbolTable in interface Builtin

Returns:

true if it writes to the symbol table

cloneBuiltin

public Builtin cloneBuiltin()

Description copied from interface: Builtin

clone the builtin

Specified by:

cloneBuiltin in interface Builtin

Returns:

the cloned built-in

iterator

public Iterator<Builtin> iterator()

Specified by:

iterator in interface Iterable<Builtin>

clear

public void clear()

Description copied from interface: Builtin

frees up allocated resources

Specified by:

clear in interface Builtin