Modifier and Type | Field and Description |
---|---|
protected List<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) |
Modifier and Type | Method and Description |
---|---|
void |
GroundRuleStore.addGroundRule(GroundRule rule)
Adds a GroundRule to this store.
|
void |
MemoryGroundRuleStore.addGroundRule(GroundRule groundRule) |
boolean |
GroundRuleStore.containsGroundRule(GroundRule rule)
Checks whether a GroundRule is in this store.
|
boolean |
MemoryGroundRuleStore.containsGroundRule(GroundRule groundRule)
O(n) check for a ground rule.
|
void |
GroundRuleStore.removeGroundRule(GroundRule rule)
Removes a GroundRule from this store.
|
void |
MemoryGroundRuleStore.removeGroundRule(GroundRule groundRule)
O(n).
|
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 | Method and Description |
---|---|
void |
Rule.ground(Constant[] constants,
Map<Variable,Integer> variableMap,
AtomManager atomManager,
List<GroundRule> results)
Get the formual that we can use for grounding.
|
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 | Method and Description |
---|---|
void |
AbstractArithmeticRule.ground(Constant[] constants,
Map<Variable,Integer> variableMap,
AtomManager atomManager,
List<GroundRule> results) |
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 | Method and Description |
---|---|
void |
AbstractLogicalRule.ground(Constant[] constants,
Map<Variable,Integer> variableMap,
AtomManager atomManager,
List<GroundRule> results) |
Modifier and Type | Field and Description |
---|---|
protected GroundRule |
ADMMObjectiveTerm.groundRule |
Modifier and Type | Method and Description |
---|---|
GroundRule |
ADMMObjectiveTerm.getGroundRule() |
Modifier and Type | Method and Description |
---|---|
void |
ADMMTermStore.add(GroundRule rule,
ADMMObjectiveTerm term) |
ADMMObjectiveTerm |
ADMMTermGenerator.createLinearConstraintTerm(TermStore<ADMMObjectiveTerm,LocalVariable> termStore,
GroundRule groundRule,
Hyperplane<LocalVariable> hyperplane,
FunctionComparator comparator) |
ADMMObjectiveTerm |
ADMMTermGenerator.createLossTerm(TermStore<ADMMObjectiveTerm,LocalVariable> termStore,
boolean isHinge,
boolean isSquared,
GroundRule groundRule,
Hyperplane<LocalVariable> hyperplane) |
Iterable<ADMMObjectiveTerm> |
ADMMTermStore.getTerms(GroundRule groundRule) |
Constructor and Description |
---|
ADMMObjectiveTerm(Hyperplane<LocalVariable> hyperplane,
GroundRule groundRule)
Caller releases control of the hyperplane and all members of it.
|
HingeLossTerm(GroundRule groundRule,
Hyperplane<LocalVariable> hyperplane) |
HyperplaneTerm(GroundRule groundRule,
Hyperplane<LocalVariable> hyperplane) |
LinearConstraintTerm(GroundRule groundRule,
Hyperplane<LocalVariable> hyperplane,
FunctionComparator comparator) |
SquaredHingeLossTerm(GroundRule groundRule,
Hyperplane<LocalVariable> hyperplane) |
SquaredHyperplaneTerm(GroundRule groundRule,
Hyperplane<LocalVariable> hyperplane) |
SquaredLinearLossTerm(GroundRule groundRule,
Hyperplane<LocalVariable> hyperplane) |
Modifier and Type | Method and Description |
---|---|
DCDObjectiveTerm |
DCDTermGenerator.createLinearConstraintTerm(TermStore<DCDObjectiveTerm,RandomVariableAtom> termStore,
GroundRule groundRule,
Hyperplane<RandomVariableAtom> hyperplane,
FunctionComparator comparator) |
DCDObjectiveTerm |
DCDTermGenerator.createLossTerm(TermStore<DCDObjectiveTerm,RandomVariableAtom> baseTermStore,
boolean isHinge,
boolean isSquared,
GroundRule groundRule,
Hyperplane<RandomVariableAtom> hyperplane) |
Modifier and Type | Method and Description |
---|---|
SGDObjectiveTerm |
SGDTermGenerator.createLinearConstraintTerm(TermStore<SGDObjectiveTerm,RandomVariableAtom> termStore,
GroundRule groundRule,
Hyperplane<RandomVariableAtom> hyperplane,
FunctionComparator comparator) |
SGDObjectiveTerm |
SGDTermGenerator.createLossTerm(TermStore<SGDObjectiveTerm,RandomVariableAtom> baseTermStore,
boolean isHinge,
boolean isSquared,
GroundRule groundRule,
Hyperplane<RandomVariableAtom> hyperplane) |
Modifier and Type | Method and Description |
---|---|
void |
MemoryVariableTermStore.add(GroundRule rule,
T term) |
void |
MemoryTermStore.add(GroundRule rule,
T term) |
void |
TermStore.add(GroundRule rule,
T term)
Add a term to the store that was generated from the given ground rule.
|
abstract T |
HyperplaneTermGenerator.createLinearConstraintTerm(TermStore<T,V> termStore,
GroundRule groundRule,
Hyperplane<V> hyperplane,
FunctionComparator comparator)
Create a hard constraint term,
|
abstract T |
HyperplaneTermGenerator.createLossTerm(TermStore<T,V> termStore,
boolean isHinge,
boolean isSquared,
GroundRule groundRule,
Hyperplane<V> hyperplane)
Create a term from a ground rule and hyperplane.
|
T |
HyperplaneTermGenerator.createTerm(GroundRule groundRule,
TermStore<T,V> termStore)
Create a ReasonerTerm from the ground rule.
|
Modifier and Type | Field and Description |
---|---|
protected List<GroundRule> |
StreamingInitialRoundIterator.pendingGroundRules |
Modifier and Type | Method and Description |
---|---|
void |
StreamingTermStore.add(GroundRule rule,
T term) |
Copyright © 2020 University of California, Santa Cruz. All rights reserved.