upsimulator.speedup

Class RuleChecker

java.lang.Object

java.lang.Thread

upsimulator.speedup.Worker

upsimulator.speedup.RuleChecker

All Implemented Interfaces:

java.lang.Runnable

public class RuleChecker
extends Worker

Speed up checking rule's satisfaction

Author:

quan

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Thread

java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler

Field Summary

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor and Description
RuleChecker(Rule source, java.util.List<java.lang.Long[]> list, Membrane target)

Method Summary

Modifier and Type	Method and Description
void	doWork()
java.util.Map<Rule,java.lang.Integer>	getSatisfiedRules()
int	getTotal()

Methods inherited from class upsimulator.speedup.Worker

finished, getTimeSpend, getWorkerId, run

Methods inherited from class java.lang.Thread

activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

RuleChecker

public RuleChecker(Rule source,
                   java.util.List<java.lang.Long[]> list,
                   Membrane target)

Method Detail

doWork

public void doWork()

Specified by:

doWork in class Worker

getSatisfiedRules

public java.util.Map<Rule,java.lang.Integer> getSatisfiedRules()

getTotal

public int getTotal()