|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object felix.compiler.StaticAnalyzer
public class StaticAnalyzer
The class of static analyzer that parses a given MLN program. It takes as input the whole MLN program, and assign properties to each predicate. Properties include whether a predicate is SYMM, REFLEX, TRANS etc., or whether a clause specifies a CRF chain etc.
Constructor Summary | |
---|---|
StaticAnalyzer(FelixQuery _fq,
FelixCommandOptions _opt)
The constructor. |
Method Summary | |
---|---|
java.util.HashSet<java.util.ArrayList<java.lang.String>> |
generateAllPermutations(java.util.HashSet<java.lang.String> terms)
Generates all permutations of the given terms. |
boolean |
isSymmetric(tuffy.mln.Literal Head,
java.util.HashSet<tuffy.mln.Literal> body)
Returns true if this set of literals is symmetric. |
void |
parse()
Analyze the input MLN program and assign properties to each predicate. |
void |
parseChainRecursiveRelation()
Parse clause which specifies a CRF chain rule. |
void |
parseEmbededWeightRule()
Parse clause whose weights are specified by embedded weight. |
void |
parseKeyConstraintRelation()
Parse predicate with key constraints. |
void |
parseNonRecursiveRelation()
Parse clause which specifies non-recursive rules. |
void |
parseOtherRecursiveRelation()
Parse clause which does NOT specify 1) NON-RECURSIVE rule and 2) Chain rule. |
void |
parseReflexiveRelation()
Parse predicate which is reflexive. |
void |
parseSpecialPredicate()
Parse the predicate serves as the linear-representation of COREF. |
void |
parseSymmetricRelation()
Parse predicate which is symmetric. |
void |
parseSymmetricRelationPi2P()
Parse predicate which is symmetric. |
void |
parseTransitiveRelation()
Parse predicate which is transitive. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public StaticAnalyzer(FelixQuery _fq, FelixCommandOptions _opt)
_fq
- _opt
- Method Detail |
---|
public void parse()
public void parseSpecialPredicate()
public void parseKeyConstraintRelation()
public java.util.HashSet<java.util.ArrayList<java.lang.String>> generateAllPermutations(java.util.HashSet<java.lang.String> terms)
terms
-
public boolean isSymmetric(tuffy.mln.Literal Head, java.util.HashSet<tuffy.mln.Literal> body) throws java.lang.CloneNotSupportedException
Head
- body
-
java.lang.CloneNotSupportedException
public void parseSymmetricRelationPi2P()
public void parseSymmetricRelation()
public void parseReflexiveRelation()
public void parseTransitiveRelation()
public void parseChainRecursiveRelation()
public void parseOtherRecursiveRelation()
public void parseNonRecursiveRelation()
public void parseEmbededWeightRule()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |