Package | Description |
---|---|
org.linqs.psl.model.atom | |
org.linqs.psl.model.rule | |
org.linqs.psl.model.rule.arithmetic | |
org.linqs.psl.model.rule.arithmetic.expression | |
org.linqs.psl.model.rule.logical | |
org.linqs.psl.model.rule.misc | |
org.linqs.psl.parser | |
org.linqs.psl.reasoner.admm.term | |
org.linqs.psl.reasoner.function |
Provides interfaces and classes for defining functions that
Reasoners can interpret. |
Class and 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. |
MutableAtomFunctionVariable
Encapsulates the value of a
RandomVariableAtom
for use in numeric functions. |
Class and Description |
---|
ConstraintTerm
A numeric constraint.
|
GeneralFunction
A general function that can handle various cases.
|
Class and Description |
---|
ConstraintTerm
A numeric constraint.
|
FunctionComparator
Enumerates possible equality and inequality relationships among
numeric functions and values.
|
GeneralFunction
A general function that can handle various cases.
|
Class and Description |
---|
FunctionComparator
Enumerates possible equality and inequality relationships among
numeric functions and values.
|
Class and Description |
---|
ConstraintTerm
A numeric constraint.
|
GeneralFunction
A general function that can handle various cases.
|
Class and Description |
---|
ConstraintTerm
A numeric constraint.
|
FunctionComparator
Enumerates possible equality and inequality relationships among
numeric functions and values.
|
Class and Description |
---|
FunctionComparator
Enumerates possible equality and inequality relationships among
numeric functions and values.
|
Class and Description |
---|
AtomFunctionVariable
Encapsulates the value of a
GroundAtom
for use in numeric functions. |
FunctionComparator
Enumerates possible equality and inequality relationships among
numeric functions and values.
|
Class and Description |
---|
AtomFunctionVariable
Encapsulates the value of a
GroundAtom
for use in numeric functions. |
FunctionComparator
Enumerates possible equality and inequality relationships among
numeric functions and values.
|
FunctionTerm
A numeric function.
|
FunctionVariable
A variable in a numeric function.
|
GeneralFunction
A general function that can handle various cases.
|
Copyright © 2018 University of California, Santa Cruz. All rights reserved.