Package | Description |
---|---|
org.linqs.psl.model.rule.arithmetic | |
org.linqs.psl.model.rule.arithmetic.expression | |
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. |
Modifier and Type | Field and Description |
---|---|
protected FunctionComparator |
AbstractGroundArithmeticRule.comparator |
Modifier and Type | Method and Description |
---|---|
FunctionComparator |
AbstractGroundArithmeticRule.getComparator() |
Modifier and Type | Method and Description |
---|---|
protected UnweightedGroundArithmeticRule |
UnweightedArithmeticRule.makeGroundRule(double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double c) |
protected abstract AbstractGroundArithmeticRule |
AbstractArithmeticRule.makeGroundRule(double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double c) |
protected AbstractGroundArithmeticRule |
WeightedArithmeticRule.makeGroundRule(double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double c) |
protected UnweightedGroundArithmeticRule |
UnweightedArithmeticRule.makeGroundRule(List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double c) |
protected abstract AbstractGroundArithmeticRule |
AbstractArithmeticRule.makeGroundRule(List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double c) |
protected AbstractGroundArithmeticRule |
WeightedArithmeticRule.makeGroundRule(List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double c) |
Modifier and Type | Field and Description |
---|---|
protected FunctionComparator |
ArithmeticRuleExpression.comparator |
Modifier and Type | Method and Description |
---|---|
FunctionComparator |
ArithmeticRuleExpression.getComparator() |
Constructor and Description |
---|
ArithmeticRuleExpression(List<Coefficient> coeffs,
List<SummationAtomOrAtom> atoms,
FunctionComparator comparator,
Coefficient c) |
Constructor and Description |
---|
GroundLinearConstraint(GroundAtom[] atoms,
double[] coeffs,
FunctionComparator comp,
double value) |
Modifier and Type | Method and Description |
---|---|
FunctionComparator |
ModelLoader.visitArithmeticRuleRelation(PSLParser.ArithmeticRuleRelationContext ctx) |
Constructor and Description |
---|
LinearConstraintTerm(List<LocalVariable> variables,
List<Float> coeffs,
float constant,
FunctionComparator comparator) |
Modifier and Type | Method and Description |
---|---|
FunctionComparator |
ConstraintTerm.getComparator() |
static FunctionComparator |
FunctionComparator.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static FunctionComparator[] |
FunctionComparator.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Constructor and Description |
---|
ConstraintTerm(GeneralFunction function,
FunctionComparator comparator,
double value) |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.