adjust linear combination coefficients according to sign
if sign(j) <> sign(k) then alpha = abs(j) beta = abs(k)
if sign(j) == sign(k) then alpha = -abs(j) beta = abs(k)
adjust linear combination coefficients according to sign
if sign(j) <> sign(k) then alpha = abs(j) beta = abs(k)
if sign(j) == sign(k) then alpha = -abs(j) beta = abs(k)
Returns the distance between the outside of the component to the centre, in order
to position the centre of the place where the mouse clicks on the screen
Returns the distance between the outside of the component to the centre, in order
to position the centre of the place where the mouse clicks on the screen
Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen
ModuleClass encapsulates information about the Module class and is designed to be used as a userobject in nodes in a JTree, in this case for nodes representing module classes.
Event handler for when the user presses down on the mouse, this is used in
conjunction with mouseDragged and mouseReleased to implement the moving action
Calculate the probability of changing from one marking to another
Works out the intersection of transitions enabled to fire at a particular
marking, transitions that can be reached from a particular marking and the
intersection of the two.
This function recursively generates potential state spaces from existing state spaces
(as per algorithm written by James Bloom & Clare Clark for PIPE 2003) and adds new state spaces
to the StateList array supplied as a parameter.
This is the 3rd version of SwingWorker (also known as
SwingWorker 3), an abstract class that you subclass to
perform GUI-related work in a dedicated thread.
Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen
tranNum -
Variable in class pipe.modules.predatorInvariantAnalysis.Analysis
Unite two sets (arrays of integers) so that if there is a common entry in the
arrays it appears only once, and all the entries of each array appear in the
union.