Package org.linqs.psl.reasoner.function

Provides interfaces and classes for defining functions that Reasoners can interpret.

See: Description

Interface Summary

Interface	Description
FunctionTerm	A numeric function.
FunctionVariable	A variable in a numeric function.

Class Summary

Class	Description
AtomFunctionVariable	Encapsulates the value of a GroundAtom for use in numeric functions.
ConstantAtomFunctionVariable	Encapsulates the value of a GroundAtom for use in numeric functions.
ConstraintTerm	A numeric constraint.
GeneralFunction	A general function that can handle various cases.
MutableAtomFunctionVariable	Encapsulates the value of a RandomVariableAtom for use in numeric functions.

Enum Summary

Enum	Description
FunctionComparator	Enumerates possible equality and inequality relationships among numeric functions and values.

Package org.linqs.psl.reasoner.function Description

Provides interfaces and classes for defining functions that Reasoners can interpret. GroundRules use these to define their incompatibility and constraint functions.