Modifier and Type | Method and Description |
---|---|
Iterable<UnweightedGroundRule> |
GroundRuleStore.getConstraintRules() |
Iterable<UnweightedGroundRule> |
MemoryGroundRuleStore.getConstraintRules() |
Modifier and Type | Method and Description |
---|---|
static double |
GroundRules.getInfeasibilityNorm(Iterable<UnweightedGroundRule> groundRules)
Computes the Euclidean norm of the infeasibilities of an iterable container
of
GroundConstraintRules . |
Modifier and Type | Class and Description |
---|---|
class |
UnweightedGroundArithmeticRule
An
AbstractGroundArithmeticRule that is unweighted, i.e., it is a hard
constraint that must always hold. |
Modifier and Type | Class and Description |
---|---|
class |
UnweightedGroundLogicalRule |
Modifier and Type | Class and Description |
---|---|
class |
GroundLinearConstraint
A linear constraint on the truth values of
GroundAtoms |
class |
GroundValueConstraint
A simple constraint that fixes the truth value of a
RandomVariableAtom |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.