agg.ruleappl
Class ApplicabilityChecker

java.lang.Object
  extended by agg.ruleappl.ApplicabilityChecker
All Implemented Interfaces:
java.lang.Runnable

public class ApplicabilityChecker
extends java.lang.Object
implements java.lang.Runnable


Constructor Summary
ApplicabilityChecker(RuleSequence sequence, GraGra grammar, CriticalPairOption option)
           
 
Method Summary
 boolean check()
           
 boolean checkWithoutGraph()
           
 void clear()
           
 void dispose()
           
 java.util.List<ConcurrentRule> getApplicableConcurrentRules()
           
 boolean getCompleteConcurrency()
           
 boolean getCompleteCPAOfConcurrency()
           
 java.util.List<ConcurrentRule> getConcurrentRules()
           
 int getDepthOfConcurrentRule()
           
 boolean getResult()
           
 RuleSequence getRuleSequence()
           
 void run()
           
 void setCompleteConcurrency(boolean b)
           
 void setCompleteCPAOfConcurrency(boolean b)
           
 void setDepthOfConcurrentRule(int d)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ApplicabilityChecker

public ApplicabilityChecker(RuleSequence sequence,
                            GraGra grammar,
                            CriticalPairOption option)
Method Detail

run

public void run()
Specified by:
run in interface java.lang.Runnable

getResult

public boolean getResult()

setDepthOfConcurrentRule

public void setDepthOfConcurrentRule(int d)

getDepthOfConcurrentRule

public int getDepthOfConcurrentRule()

setCompleteConcurrency

public void setCompleteConcurrency(boolean b)

getCompleteConcurrency

public boolean getCompleteConcurrency()

setCompleteCPAOfConcurrency

public void setCompleteCPAOfConcurrency(boolean b)

getCompleteCPAOfConcurrency

public boolean getCompleteCPAOfConcurrency()

dispose

public void dispose()

clear

public void clear()

getRuleSequence

public RuleSequence getRuleSequence()

check

public boolean check()

checkWithoutGraph

public boolean checkWithoutGraph()

getConcurrentRules

public java.util.List<ConcurrentRule> getConcurrentRules()

getApplicableConcurrentRules

public java.util.List<ConcurrentRule> getApplicableConcurrentRules()