|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcompiler.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.
Field Summary | |
---|---|
(package private) FelixQuery |
fq
Felix Query. |
(package private) parser.CommandOptions |
options
Command line options. |
Constructor Summary | |
---|---|
StaticAnalyzer(FelixQuery _fq,
parser.CommandOptions _opt)
The constructor. |
Method Summary | |
---|---|
void |
parse()
Analyze the input MLN program and assign properties to each predicate. |
void |
parseChainRecursiveRelation()
Parse clause which specifies a CRF chain rule. |
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 |
parseTransitiveRelation()
Parse predicate which is transitive. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
FelixQuery fq
parser.CommandOptions options
Constructor Detail |
---|
public StaticAnalyzer(FelixQuery _fq, parser.CommandOptions _opt)
_fq
- _opt
- Method Detail |
---|
public void parse()
public void parseSpecialPredicate()
public void parseKeyConstraintRelation()
public void parseSymmetricRelation()
public void parseReflexiveRelation()
public void parseTransitiveRelation()
public void parseChainRecursiveRelation()
public void parseOtherRecursiveRelation()
public void parseNonRecursiveRelation()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |