public class TraleSLDProfiler extends LogicProgrammingProfiler
kahina
Constructor and Description |
---|
TraleSLDProfiler(TraleSLDInstance kahina,
LogicProgrammingProfile profile) |
Modifier and Type | Method and Description |
---|---|
void |
processEvent(KahinaEvent event) |
protected void |
profileNode(KahinaTree tree,
KahinaTree contentfulTree,
int stepID,
LogicProgrammingProfile profile) |
protected void |
profileNode(ProfileEntry entry,
LogicProgrammingStep step,
KahinaTree tree,
KahinaTree contentfulTree,
int stepID,
LogicProgrammingProfile profile) |
call, exception, exit, fail, getProfile, getProfileEntryForStepID, profileNode, profileSubtree, redo
public TraleSLDProfiler(TraleSLDInstance kahina, LogicProgrammingProfile profile)
public void processEvent(KahinaEvent event)
processEvent
in interface KahinaListener
processEvent
in class LogicProgrammingProfiler
protected void profileNode(KahinaTree tree, KahinaTree contentfulTree, int stepID, LogicProgrammingProfile profile)
profileNode
in class LogicProgrammingProfiler
protected void profileNode(ProfileEntry entry, LogicProgrammingStep step, KahinaTree tree, KahinaTree contentfulTree, int stepID, LogicProgrammingProfile profile)
profileNode
in class LogicProgrammingProfiler