agg.ruleappl
Class ApplicabilityChecker
java.lang.Object
agg.ruleappl.ApplicabilityChecker
- All Implemented Interfaces:
- java.lang.Runnable
public class ApplicabilityChecker
- extends java.lang.Object
- implements java.lang.Runnable
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ApplicabilityChecker
public ApplicabilityChecker(RuleSequence sequence,
GraGra grammar,
CriticalPairOption option)
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()