Modifier and Type | Field and Description |
---|---|
protected TermStore |
InferenceApplication.termStore |
Modifier and Type | Method and Description |
---|---|
protected TermStore |
InferenceApplication.createTermStore() |
TermStore |
InferenceApplication.getTermStore() |
Modifier and Type | Method and Description |
---|---|
protected TermStore |
DCDInference.createTermStore() |
protected TermStore |
ADMMInference.createTermStore() |
protected TermStore |
SGDInference.createTermStore() |
protected TermStore |
SGDStreamingInference.createTermStore() |
protected TermStore |
DCDStreamingInference.createTermStore() |
Modifier and Type | Method and Description |
---|---|
abstract void |
Reasoner.optimize(TermStore termStore)
Minimizes the total weighted incompatibility of the terms in the provided
TermStore.
|
void |
ExecutableReasoner.optimize(TermStore termStore) |
protected abstract void |
ExecutableReasoner.readResults(BufferedReader resultsReader,
TermStore termStore) |
protected abstract void |
ExecutableReasoner.writeModel(BufferedWriter modelWriter,
TermStore termStore) |
Modifier and Type | Method and Description |
---|---|
void |
ADMMReasoner.optimize(TermStore baseTermStore) |
Modifier and Type | Class and Description |
---|---|
class |
ADMMTermStore
A TermStore specifically for ADMM terms.
|
Modifier and Type | Method and Description |
---|---|
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) |
Constructor and Description |
---|
ADMMTermStore(TermStore<ADMMObjectiveTerm,?> store) |
Modifier and Type | Method and Description |
---|---|
void |
DCDReasoner.optimize(TermStore baseTermStore) |
Modifier and Type | Class and Description |
---|---|
class |
DCDMemoryTermStore
An in-memory TermStore specifically for DCD terms.
|
class |
DCDStreamingTermStore
A term store that iterates over ground queries directly (obviating the GroundRuleStore).
|
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 |
---|---|
void |
SGDReasoner.optimize(TermStore baseTermStore) |
Modifier and Type | Class and Description |
---|---|
class |
SGDMemoryTermStore
An in-memory TermStore specifically for SDG terms.
|
class |
SGDStreamingTermStore
A term store that iterates over ground queries directly (obviating the GroundRuleStore).
|
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 | Interface and Description |
---|---|
interface |
VariableTermStore<T extends ReasonerTerm,V extends ReasonerLocalVariable>
An interface for term stores that can handle some variable operations.
|
Modifier and Type | Class and Description |
---|---|
class |
MemoryTermStore<T extends ReasonerTerm> |
class |
MemoryVariableTermStore<T extends ReasonerTerm,V extends ReasonerLocalVariable>
A general TermStore that handles terms and variables all in memory.
|
Modifier and Type | Method and Description |
---|---|
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.
|
int |
HyperplaneTermGenerator.generateTerms(GroundRuleStore ruleStore,
TermStore<T,V> termStore) |
int |
TermGenerator.generateTerms(GroundRuleStore ruleStore,
TermStore<T,V> termStore)
Use the ground rules in |ruleStore| to generate optimization terms and populate |termStore|.
|
Modifier and Type | Class and Description |
---|---|
class |
StreamingTermStore<T extends ReasonerTerm>
A term store that does not hold all the terms in memory, but instead keeps most terms on disk.
|
Copyright © 2020 University of California, Santa Cruz. All rights reserved.