Uses of Class
mln.GClause

Packages that use GClause
infer Provides MLN inference algorithms. 
mln This package builds the data structure of MLN. 
 

Uses of GClause in infer
 

Fields in 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 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 mln
 

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

Methods in mln 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.