public class LogicProgrammingProfiler extends java.lang.Object implements KahinaListener
Modifier and Type | Field and Description |
---|---|
protected LogicProgrammingInstance<?,?,?,?> |
kahina |
Constructor and Description |
---|
LogicProgrammingProfiler(LogicProgrammingInstance<?,?,?,?> kahina,
Mapper<java.lang.String,ProfileEntry> mapper,
LogicProgrammingProfile profile) |
Modifier and Type | Method and Description |
---|---|
protected void |
call(int id) |
protected void |
exception(int id) |
protected void |
exit(int id) |
protected void |
fail(int id) |
LogicProgrammingProfile |
getProfile() |
protected ProfileEntry |
getProfileEntryForStepID(int stepID) |
void |
processEvent(KahinaEvent event) |
protected void |
profileNode(KahinaTree tree,
KahinaTree contentfulTree,
int stepID,
LogicProgrammingProfile profile) |
protected void |
profileNode(LogicProgrammingStep step,
KahinaTree tree,
KahinaTree contentfulTree,
int stepID,
LogicProgrammingProfile profile) |
protected void |
profileNode(ProfileEntry entry,
LogicProgrammingStep step,
KahinaTree tree,
KahinaTree contentfulTree,
int stepID,
LogicProgrammingProfile profile) |
LogicProgrammingProfile |
profileSubtree(KahinaTree tree,
KahinaTree contentfulTree,
int subtreeRootID)
Creates a profile for the subtree rooted in a given node.
|
protected void |
redo(int id) |
protected final LogicProgrammingInstance<?,?,?,?> kahina
public LogicProgrammingProfiler(LogicProgrammingInstance<?,?,?,?> kahina, Mapper<java.lang.String,ProfileEntry> mapper, LogicProgrammingProfile profile)
public void processEvent(KahinaEvent event)
processEvent
in interface KahinaListener
protected void call(int id)
protected void fail(int id)
protected void exception(int id)
protected void exit(int id)
protected void redo(int id)
protected ProfileEntry getProfileEntryForStepID(int stepID)
public LogicProgrammingProfile getProfile()
public LogicProgrammingProfile profileSubtree(KahinaTree tree, KahinaTree contentfulTree, int subtreeRootID)
tree
- The tree object used for determining the descendants of the
node given as subtree node. This can either be the primary or
the secondary tree.contentfulTree
- The tree object used for determinining the status of nodes.
This usually needs to be the primary tree, as in the current
architecture, node statuses and labels are only stored in the
primary tree.subtreeRootID
- The (internal) ID of the root of the subtree the caller wants
to profile.protected void profileNode(KahinaTree tree, KahinaTree contentfulTree, int stepID, LogicProgrammingProfile profile)
protected void profileNode(LogicProgrammingStep step, KahinaTree tree, KahinaTree contentfulTree, int stepID, LogicProgrammingProfile profile)
protected void profileNode(ProfileEntry entry, LogicProgrammingStep step, KahinaTree tree, KahinaTree contentfulTree, int stepID, LogicProgrammingProfile profile)