|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |