A B C D E F G H I J K L M N O P Q R S T U V W Z _

_

_oldWeight - Variable in class tuffy.learn.Learner
Map from clause name to clause weight learned in last iteration.
_runGC() - Static method in class tuffy.util.DebugMan
 

A B C D E F G H I J K L M N O P Q R S T U V W Z _