Package | Description |
---|---|
org.leialearns.logic.model |
Modifier and Type | Interface and Description |
---|---|
interface |
Expected |
interface |
Toggled |
Modifier and Type | Field and Description |
---|---|
static ExpectedModel |
ExpectedModel.EMPTY |
Modifier and Type | Method and Description |
---|---|
ExpectedModel |
Observed.getExpectedModel() |
ExpectedModel |
ObservedHelper.getExpectedModel(Observed observed) |
Modifier and Type | Method and Description |
---|---|
void |
Observed.check(DeltaDiff.Map deltaDiffMap,
ExpectedModel expectedModel) |
void |
ObservedHelper.check(Observed observed,
DeltaDiff.Map deltaDiffMap,
ExpectedModel expectedModel) |
void |
ObservedHelper.check(org.leialearns.logic.model.ObservedHelper.CheckMode mode,
Observed observed,
DeltaDiff.Map deltaDiffMap,
ExpectedModel expectedModel) |
Expectation |
ExpectationHelper.getExpectation(ExpectedModel expectedModel,
Node node) |
Copyright © 2013. All Rights Reserved.