Package | Description |
---|---|
org.linqs.psl.model.atom | |
org.linqs.psl.model.rule.arithmetic.expression | |
org.linqs.psl.parser |
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> coeffs,
List<SummationAtomOrAtom> atoms,
FunctionComparator comparator,
Coefficient c) |
Modifier and Type | Method and Description |
---|---|
SummationAtomOrAtom |
ModelLoader.visitSummationAtom(PSLParser.SummationAtomContext ctx) |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.