Package | Description |
---|---|
org.leialearns.logic.model | |
org.leialearns.logic.session |
Defines the top level context for persistent objects used by LEIA.
|
org.leialearns.logic.utilities |
Modifier and Type | Class and Description |
---|---|
class |
HistogramObject |
Modifier and Type | Method and Description |
---|---|
Histogram |
Observed.createDeltaHistogram(Node node) |
Histogram |
ObservedHelper.createDeltaHistogram(Observed observed,
Node node) |
Histogram |
ObservedHelper.createHistogram() |
Histogram |
Observed.createHistogram(Node node) |
Histogram |
ObservedHelper.createHistogram(Observed observed,
Node node) |
Histogram |
ObservedHelper.createHistogram(Version version,
Node node,
String label) |
Histogram |
Observed.createTransientHistogram() |
Histogram |
ObservedHelper.createTransientHistogram(Observed observed) |
Histogram |
ObservedHelper.createTransientHistogram(Observed observed,
String label) |
Histogram |
Observed.createTransientHistogram(String label) |
Histogram |
DeltaDiff.getDeltaAdditions() |
Histogram |
DeltaDiff.getDeltaSubtractions() |
Histogram |
HistogramCache.getHistogram(Version version,
Node node) |
Histogram |
Histogram.getSnapshot(String operator) |
Modifier and Type | Method and Description |
---|---|
void |
Modifiable.add(Histogram other) |
void |
HistogramObject.add(Histogram other) |
void |
DeltaDiff.add(Histogram histogram) |
void |
HistogramCache.putHistogram(Histogram histogram) |
void |
Modifiable.subtract(Histogram other) |
void |
HistogramObject.subtract(Histogram other) |
void |
DeltaDiff.subtract(Histogram histogram) |
Constructor and Description |
---|
HistogramTrace(Histogram histogram) |
HistogramTrace(Histogram left,
String operator,
Histogram right) |
Modifier and Type | Method and Description |
---|---|
Histogram |
SessionAugmenter.getHistogram(Version version,
Node node)
|
Histogram |
Session.getHistogram(Version version,
Node node)
Retrieves a histogram from the cache.
|
Modifier and Type | Method and Description |
---|---|
void |
SessionAugmenter.putHistogram(Histogram histogram)
|
void |
Session.putHistogram(Histogram histogram)
Stores the given histogram in the cache
|
Modifier and Type | Method and Description |
---|---|
Expectation |
Oracle.minimize(Histogram histogram) |
Copyright © 2013. All Rights Reserved.