Uses of Class
tuffy.infer.ds.GClause

Packages that use GClause
tuffy.infer Provides MLN inference algorithms. 
tuffy.infer.ds Data structures used to represent MRFs. 
tuffy.mln This package builds the data structure of MLN. 
 

Uses of GClause in tuffy.infer
 

Fields in tuffy.infer with type parameters of type GClause
protected  java.util.HashMap<java.lang.Integer,java.util.ArrayList<GClause>> MRF.adj
          Index from GAtom ID to GClause.
 java.util.ArrayList<GClause> MRF.clauses
          Array of all GClause objects in this MRF.
protected  HashArray<GClause> MRF.unsat
          Array of unsatisfied GClauses under current atoms' truth setting.
 

Methods in tuffy.infer with parameters of type GClause
protected  boolean MRF.isAlwaysTrue(GClause gc)
          Test if a clause is always true no matter how we flip flippable atoms.
 

Uses of GClause in tuffy.infer.ds
 

Methods in tuffy.infer.ds with parameters of type GClause
 void GAtom.assignSatPotential(GClause f)
          Flipping this node will make f unsat->sat.
 void GAtom.assignUnsatPotential(GClause f)
          Flipping this node will make f sat->unsat.
 void GAtom.revokeSatPotential(GClause f)
          Flipping this node no longer makes f unsat->sat.
 void GAtom.revokeUnsatPotential(GClause f)
          Flipping this node no longer makes f sat->unsat.
 

Uses of GClause in tuffy.mln
 

Fields in tuffy.mln with type parameters of type GClause
 java.util.ArrayList<GClause> Clause.violatedGClauses
          Violated ground clauses.