org.grinvin.invariants

Class AbstractInvariantRunnable

Implemented Interfaces:
Comparable, Runnable

public abstract class AbstractInvariantRunnable
extends java.lang.Object
implements Runnable, Comparable

The abstract class to support the scheduling of the computation of invariant values. See InvariantExecutor.

Method Summary

int
compareTo(AbstractInvariantRunnable ic)
abstract int
getPriority()
Get the priority of this InvariantComputer.
abstract void
run()

Method Details

compareTo

public int compareTo(AbstractInvariantRunnable ic)

getPriority

public abstract int getPriority()
Get the priority of this InvariantComputer. 0 if we want to be computed in the background.

run

public abstract void run()