Uses of Class
infer.MCSAT

Packages that use MCSAT
learn Provides weight learning in Tuffy. 
 

Uses of MCSAT in learn
 

Methods in learn with parameters of type MCSAT
 void Learner.fillInCurrentWeight(MCSAT _mcsat)
          Initialize weight according to the log odd of training data.
 void DNLearner.getGradientAndD(MCSAT mcsat)
          Calculate the gradient and H^(-1)g by filling in DNLearner.currentD and DNLearner.currentGradient.
 void NaiveGDLearner.loadingTrainingData(MCSAT _mcsat)
          NEVER USE THIS IN REAL CIRCUMSTANCE...
 void NaiveDNLearner.loadingTrainingData(MCSAT _mcsat)
          Deprecated. Loading training data's truth value into MRF.
abstract  void Learner.loadingTrainingData(MCSAT _mcsat)
          Reading from training data and fill it into MRF.atoms.
 void DNLearner.loadingTrainingData(MCSAT _mcsat)
          Load training data's truth value into MRF.
 boolean NaiveGDLearner.updateWeight(MCSAT mcsat)
          NEVER USE THIS IN REAL CIRCUMSTANCE...
 boolean NaiveDNLearner.updateWeight(MCSAT mcsat)
          Deprecated. Updating Learner.currentWeight using Diagonal Newton method.
abstract  boolean Learner.updateWeight(MCSAT mcsat)
          Update Learner.currentWeight to new weights according to information provided by mcsat instance, e.g., expectationOfViolation; This is a virtual function, each instance of Learner should materialize an adhoc version of this function.
 boolean DNLearner.updateWeight(MCSAT mcsat)
          Update Learner.currentWeight using Diagonal Newton method.