Modifier and Type | Field and Description |
---|---|
protected org.apache.commons.collections4.SetValuedMap<Rule,GroundRule> |
MemoryGroundRuleStore.groundRules |
Modifier and Type | Method and Description |
---|---|
Iterable<GroundRule> |
GroundRuleStore.getGroundRules() |
Iterable<GroundRule> |
MemoryGroundRuleStore.getGroundRules() |
Iterable<GroundRule> |
GroundRuleStore.getGroundRules(Rule rule)
Returns every GroundRule that was instantiated by a given Rule.
|
Iterable<GroundRule> |
MemoryGroundRuleStore.getGroundRules(Rule rule) |
Set<GroundRule> |
AtomRegisterGroundRuleStore.getRegisteredGroundRules(GroundAtom atom) |
Modifier and Type | Method and Description |
---|---|
void |
GroundRuleStore.addGroundRule(GroundRule rule)
Adds a GroundRule to this store.
|
void |
MemoryGroundRuleStore.addGroundRule(GroundRule groundRule) |
void |
AtomRegisterGroundRuleStore.addGroundRule(GroundRule groundRule) |
boolean |
GroundRuleStore.containsGroundRule(GroundRule rule)
Checks whether a GroundRule is in this store.
|
boolean |
MemoryGroundRuleStore.containsGroundRule(GroundRule groundRule) |
void |
GroundRuleStore.removeGroundRule(GroundRule rule)
Removes a GroundRule from this store.
|
void |
MemoryGroundRuleStore.removeGroundRule(GroundRule groundRule) |
void |
AtomRegisterGroundRuleStore.removeGroundRule(GroundRule groundRule) |
Modifier and Type | Interface and Description |
---|---|
interface |
UnweightedGroundRule |
interface |
WeightedGroundRule |
Modifier and Type | Method and Description |
---|---|
List<GroundRule> |
GroundRule.negate()
Negate this ground rule and get the corresponding ground rule(s).
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractGroundArithmeticRule
Base class for all ground arithmetic rules.
|
class |
UnweightedGroundArithmeticRule
An
AbstractGroundArithmeticRule that is unweighted, i.e., it is a hard
constraint that must always hold. |
class |
WeightedGroundArithmeticRule |
Modifier and Type | Method and Description |
---|---|
List<GroundRule> |
AbstractGroundArithmeticRule.negate() |
Modifier and Type | Class and Description |
---|---|
class |
AbstractGroundLogicalRule
Base class for all ground logical rules.
|
class |
UnweightedGroundLogicalRule |
class |
WeightedGroundLogicalRule |
Modifier and Type | Method and Description |
---|---|
protected abstract GroundRule |
AbstractGroundLogicalRule.instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
protected GroundRule |
WeightedGroundLogicalRule.instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
protected GroundRule |
UnweightedGroundLogicalRule.instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
Modifier and Type | Method and Description |
---|---|
List<GroundRule> |
AbstractGroundLogicalRule.negate()
Negating logical rules (a disjunction) will generate multiple other rules.
|
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 |
Modifier and Type | Method and Description |
---|---|
List<GroundRule> |
GroundValueConstraint.negate() |
List<GroundRule> |
GroundLinearConstraint.negate() |
Modifier and Type | Method and Description |
---|---|
double |
ADMMReasoner.getDualIncompatibility(GroundRule groundRule,
ADMMTermStore termStore,
float[] consensusBuffer)
Computes the incompatibility of the local variable copies corresponding to GroundRule groundRule.
|
Modifier and Type | Method and Description |
---|---|
void |
ADMMTermStore.add(GroundRule rule,
ADMMObjectiveTerm term) |
Modifier and Type | Method and Description |
---|---|
void |
TermStore.add(GroundRule rule,
E term)
Add a term to the store that was generated from the given ground rule.
|
void |
MemoryTermStore.add(GroundRule rule,
E term) |
Modifier and Type | Method and Description |
---|---|
void |
ConstraintBlockerTermStore.add(GroundRule rule,
ConstraintBlockerTerm term) |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.