Package | Description |
---|---|
org.leialearns.graph.model | |
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 | Method and Description |
---|---|
Fraction |
FractionBaseDTO.declareNearType() |
Modifier and Type | Method and Description |
---|---|
FractionBaseDTO |
FractionDAO.findOrCreateFraction(RootDTO root,
Fraction fraction) |
Modifier and Type | Class and Description |
---|---|
class |
TransientFraction |
Modifier and Type | Method and Description |
---|---|
Fraction |
FractionHelper.createTransientFraction(Root root,
long index,
long numerator,
long denominator) |
Fraction |
Fraction.Iterable.declareNearType() |
Fraction |
Estimate.getFraction() |
Fraction |
ExpectationObject.getFraction(Symbol symbol) |
Fraction |
Expectation.getFraction(Symbol symbol) |
Modifier and Type | Method and Description |
---|---|
int |
TransientFraction.compareTo(Fraction other) |
int |
FractionHelper.compareTo(Fraction thisFraction,
Object that) |
Estimate |
Toggled.createEstimate(Node node,
Symbol symbol,
Fraction fraction) |
Estimate |
Expected.createEstimate(Node node,
Symbol symbol,
Fraction fraction) |
Modifier and Type | Method and Description |
---|---|
void |
ExpectationObject.setFractions(Map<Symbol,Fraction> fractions) |
void |
Expectation.setFractions(Map<Symbol,Fraction> fractions) |
Modifier and Type | Method and Description |
---|---|
Fraction |
Root.createFraction(long index,
long numerator,
long denominator)
Creates a new persistent fraction object.
|
Fraction |
Root.createFraction(long index,
long numerator,
long denominator,
boolean inOracle)
Creates a new persistent fraction object.
|
Fraction |
Root.createTransientFraction(long index,
long numerator,
long denominator)
Creates a new transient fraction object.
|
Fraction |
Root.findFraction(long index)
Returns the fraction object with the given index.
|
Fraction |
Root.findOrCreateFraction(Fraction fraction)
Returns a persistent fraction object, creates a new one if necessary.
|
Fraction |
Root.findOrCreateFraction(long index,
long numerator,
long denominator)
Returns a persistent fraction object, creates a new one if necessary.
|
Modifier and Type | Method and Description |
---|---|
Fraction |
Root.findOrCreateFraction(Fraction fraction)
Returns a persistent fraction object, creates a new one if necessary.
|
Modifier and Type | Method and Description |
---|---|
Fraction |
Oracle.add(Fraction f,
Fraction g) |
Fraction |
Oracle.find(long maxIndex,
long numerator,
long denominator) |
Fraction |
Approximation.getFraction() |
Fraction |
Oracle.subtract(Fraction f,
Fraction g) |
Modifier and Type | Method and Description |
---|---|
Fraction |
Oracle.add(Fraction f,
Fraction g) |
Fraction |
Oracle.subtract(Fraction f,
Fraction g) |
Copyright © 2013. All Rights Reserved.