Package | Description |
---|---|
org.linqs.psl.model.atom | |
org.linqs.psl.model.rule.arithmetic.expression |
Modifier and Type | Class and Description |
---|---|
class |
Atom
|
class |
GroundAtom
An Atom with only
GroundTerms for arguments. |
class |
ObservedAtom
A
GroundAtom with a fixed truth value. |
class |
QueryAtom
An Atom that can be used in a query, but does not have a truth value.
|
class |
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Modifier and Type | Class and Description |
---|---|
class |
SummationAtom
A variant of an
Atom that can additionally take SummationVariables
as arguments. |
Modifier and Type | Field and Description |
---|---|
protected List<SummationAtomOrAtom> |
ArithmeticRuleExpression.atoms |
Modifier and Type | Method and Description |
---|---|
List<SummationAtomOrAtom> |
ArithmeticRuleExpression.getAtoms() |
Constructor and Description |
---|
ArithmeticRuleExpression(List<Coefficient> coefficients,
List<SummationAtomOrAtom> atoms,
FunctionComparator comparator,
Coefficient constant) |
ArithmeticRuleExpression(List<Coefficient> coefficients,
List<SummationAtomOrAtom> atoms,
FunctionComparator comparator,
Coefficient constant,
boolean skipCardinalityValidation) |
Copyright © 2020 University of California, Santa Cruz. All rights reserved.