compiler
Class StaticAnalyzer

java.lang.Object
  extended by compiler.StaticAnalyzer

public class StaticAnalyzer
extends java.lang.Object

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.

Author:
Ce Zhang

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

fq

FelixQuery fq
Felix Query.


options

parser.CommandOptions options
Command line options.

Constructor Detail

StaticAnalyzer

public StaticAnalyzer(FelixQuery _fq,
                      parser.CommandOptions _opt)
The constructor.

Parameters:
_fq -
_opt -
Method Detail

parse

public void parse()
Analyze the input MLN program and assign properties to each predicate.


parseSpecialPredicate

public void parseSpecialPredicate()
Parse the predicate serves as the linear-representation of COREF.


parseKeyConstraintRelation

public void parseKeyConstraintRelation()
Parse predicate with key constraints.


parseSymmetricRelation

public void parseSymmetricRelation()
Parse predicate which is symmetric.


parseReflexiveRelation

public void parseReflexiveRelation()
Parse predicate which is reflexive.


parseTransitiveRelation

public void parseTransitiveRelation()
Parse predicate which is transitive.


parseChainRecursiveRelation

public void parseChainRecursiveRelation()
Parse clause which specifies a CRF chain rule.


parseOtherRecursiveRelation

public void parseOtherRecursiveRelation()
Parse clause which does NOT specify 1) NON-RECURSIVE rule and 2) Chain rule.


parseNonRecursiveRelation

public void parseNonRecursiveRelation()
Parse clause which specifies non-recursive rules.