Modifier and Type | Method and Description |
---|---|
Iterable<WeightedGroundRule> |
GroundRuleStore.getCompatibilityRules() |
Iterable<WeightedGroundRule> |
MemoryGroundRuleStore.getCompatibilityRules() |
Modifier and Type | Method and Description |
---|---|
static double |
GroundRules.getExpectedWeightedCompatibility(WeightedGroundRule groundRule)
Computes the expected weighted compatibility (1 - incompatibility)
of a WeightedGroundRule.
|
Modifier and Type | Method and Description |
---|---|
static double |
GroundRules.getExpectedTotalWeightedCompatibility(Iterable<WeightedGroundRule> groundRules)
Computes the expected weighted compatibility (1 - incompatibility)
of a collection of WeightedGroundRules.
|
static double |
GroundRules.getExpectedTotalWeightedIncompatibility(Iterable<WeightedGroundRule> groundRules)
Computes the expected total weighted incompatibility of an iterable
container of
GroundCompatibilityRules
from independently rounding each RandomVariableAtom to 1.0 or 0.0
with probability equal to its current truth value. |
static double |
GroundRules.getTotalWeightedCompatibility(Iterable<WeightedGroundRule> groundRules)
Sums the total weighted compatibility (1 - incompatibility) of an iterable
container of
GroundCompatibilityRules . |
static double |
GroundRules.getTotalWeightedIncompatibility(Iterable<WeightedGroundRule> groundRules)
Sums the total weighted incompatibility of an iterable container of
GroundCompatibilityRules . |
Modifier and Type | Class and Description |
---|---|
class |
WeightedGroundArithmeticRule |
Modifier and Type | Class and Description |
---|---|
class |
WeightedGroundLogicalRule |
Modifier and Type | Method and Description |
---|---|
List<Integer> |
ADMMTermStore.getTermIndices(WeightedGroundRule rule) |
void |
ADMMTermStore.updateWeight(WeightedGroundRule rule) |
Modifier and Type | Method and Description |
---|---|
List<Integer> |
TermStore.getTermIndices(WeightedGroundRule rule)
Get the indicies for all terms related to a specific rule.
|
List<Integer> |
MemoryTermStore.getTermIndices(WeightedGroundRule rule) |
void |
TermStore.updateWeight(WeightedGroundRule rule) |
void |
MemoryTermStore.updateWeight(WeightedGroundRule rule) |
Modifier and Type | Method and Description |
---|---|
WeightedGroundRule[] |
ConstraintBlockerTerm.getIncidentGRs() |
Modifier and Type | Method and Description |
---|---|
List<Integer> |
ConstraintBlockerTermStore.getTermIndices(WeightedGroundRule rule) |
void |
ConstraintBlockerTermStore.init(GroundRuleStore groundRuleStore,
RandomVariableAtom[][] rvBlocks,
WeightedGroundRule[][] incidentGRs,
boolean[] exactlyOne) |
void |
ConstraintBlockerTermStore.updateWeight(WeightedGroundRule rule) |
Constructor and Description |
---|
ConstraintBlockerTerm(RandomVariableAtom[] atoms,
WeightedGroundRule[] incidentGRs,
boolean exactlyOne)
Takes ownership of all the passed in arrays.
|
Copyright © 2018 University of California, Santa Cruz. All rights reserved.