public class SessionAugmenter extends Object
Session
SessionAugmenter()
Histogram
getHistogram(Version version, Node node)
Session.getHistogram(org.leialearns.logic.model.Version, org.leialearns.logic.structure.Node)
void
putHistogram(Histogram histogram)
Session.putHistogram(Histogram)
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public SessionAugmenter()
public void putHistogram(Histogram histogram)
public Histogram getHistogram(Version version, Node node)
Copyright © 2013. All Rights Reserved.