A

Attribute - class Attribute

 

Attribute(javaObject) - Constructor in class Attribute

 

add(net, name) - Class method in class RecordTokentype

 

add(net, name) - Class method in class SubstitutionTransition

 

add(net, name, expression) - Class method in class Definition

 

add(net, name, expression) - Class method in class Measure

 

add(net, name, priority, weight) - Class method in class ImmediateTransition

 

add(net, name, timeFunction) - Class method in class TimedTransition

 

add(net, name, tokentype, capacity, queue, watch, initialMarking) - Class method in class Place

 

add(net, place, transition, inscription) - Class method in class InputArc

 

add(net, transition, place, inscription) - Class method in class OutputArc

 

addAttribute(name, type) - Instance method in class RecordTokentype

 

addSlavePlace(place) - Instance method in class Replication

 

C

check() - Instance method in class Net

 

check2() - Instance method in class Net

 

command(cmdLine) - Class method in class System

 

connectInputPin(net, pinName, place, inscription) - Instance method in class ModuleInstance

 

connectOutputPin(net, pinName, place, inscription) - Instance method in class ModuleInstance

 

copyFile(source, dest) - Class method in class System

 

create() - Class method in class Net

 

create(substTrans) - Class method in class Replication

 

createInstance(net, instanceName) - Instance method in class Module

 

createPlaces() - Instance method in class PlaceFactory

 

D

Definition - class Definition

 

Definition(javaObject) - Constructor in class Definition

 

E

equals(anotherTest) - Instance method in class Test

 

equals(otherPlace) - Instance method in class Place

 

F

failed() - Class method in class System

 

find(net, name) - Class method in class Module

 

G

GLOBALS - class GLOBALS

 

getArcs() - Instance method in class Net

 

getCapacity() - Instance method in class Place

 

getExpression() - Instance method in class Definition

 

getExpression() - Instance method in class Measure

 

getGlobalGuard() - Instance method in class ImmediateTransition

 

getGlobalGuard() - Instance method in class SubstitutionTransition

 

getGlobalGuard() - Instance method in class TimedTransition

 

getID() - Instance method in class Place

 

getInitialMarking() - Instance method in class Place

 

getLocalGuard() - Instance method in class ImmediateTransition

 

getLocalGuard() - Instance method in class SubstitutionTransition

 

getLocalGuard() - Instance method in class TimedTransition

 

getName() - Instance method in class ImmediateTransition

 

getName() - Instance method in class Place

 

getName() - Instance method in class SubstitutionTransition

 

getName() - Instance method in class TimedTransition

 

getNumberOfReplications() - Instance method in class SubstitutionTransition

 

getParameterValue(name) - Instance method in class ModuleInstance

 

getPlaces() - Instance method in class Net

 

getPriority() - Instance method in class ImmediateTransition

 

getQueue() - Instance method in class Place

 

getReplication(n) - Instance method in class SubstitutionTransition

 

getTimeFunction() - Instance method in class TimedTransition

 

getTokentype() - Instance method in class Place

 

getTransitions() - Instance method in class Net

 

getWatch() - Instance method in class Place

 

getWeight() - Instance method in class ImmediateTransition

 

I

ImmediateTransition - class ImmediateTransition

 

ImmediateTransition(javaObject) - Constructor in class ImmediateTransition

 

InputArc - class InputArc

 

InputArc(javaObject) - Constructor in class InputArc

 

importLib(filename) - Instance method in class Net

 

L

listAttributes() - Instance method in class RecordTokentype

 

load(filename) - Class method in class Net

 

M

Measure - class Measure

 

Measure(javaObject) - Constructor in class Measure

 

Module - class Module

 

Module(javaObject) - Constructor in class Module

 

ModuleInstance - class ModuleInstance

 

ModuleInstance(javaObject) - Constructor in class ModuleInstance

 

ModulePin - class ModulePin

 

ModulePin(javaObject) - Constructor in class ModulePin

 

N

Net - class Net

 

Net(javaObject) - Constructor in class Net

 

O

OutputArc - class OutputArc

 

OutputArc(javaObject) - Constructor in class OutputArc

 

ok() - Class method in class System

 

P

Place - class Place

 

Place(javaObject) - Constructor in class Place

 

PlaceFactory - class PlaceFactory

 

PlaceFactory(expression) - Constructor in class PlaceFactory

 

print(str) - Class method in class GLOBALS

 

println(str) - Class method in class GLOBALS

 

R

RecordTokentype - class RecordTokentype

 

RecordTokentype(javaObject) - Constructor in class RecordTokentype

 

Replication - class Replication

 

Replication(javaObject) - Constructor in class Replication

 

runNet(net, name, startTime, endTime) - Class method in class System

 

S

SubstitutionTransition - class SubstitutionTransition

 

SubstitutionTransition(javaObject) - Constructor in class SubstitutionTransition

 

System - class System

 

System() - Constructor in class System

 

selectImplementation(implName) - Instance method in class ModuleInstance

 

setCapacity(capacity) - Instance method in class Place

 

setExpression(expression) - Instance method in class Definition

 

setExpression(expression) - Instance method in class Measure

 

setGlobalGuard(guardStr) - Instance method in class ImmediateTransition

 

setGlobalGuard(guardStr) - Instance method in class SubstitutionTransition

 

setGlobalGuard(guardStr) - Instance method in class TimedTransition

 

setInitialMarking(initialMarking) - Instance method in class Place

 

setLocalGuard(guardStr) - Instance method in class ImmediateTransition

 

setLocalGuard(guardStr) - Instance method in class SubstitutionTransition

 

setLocalGuard(guardStr) - Instance method in class TimedTransition

 

setName(name) - Instance method in class Place

 

setParameterValue(name, value) - Instance method in class ModuleInstance

 

setPriority(priority) - Instance method in class ImmediateTransition

 

setQueue(queue) - Instance method in class Place

 

setTimeFunction(expression) - Instance method in class TimedTransition

 

setTokentype(tokentype) - Instance method in class Place

 

setWatch(watch) - Instance method in class Place

 

setWeight(weight) - Instance method in class ImmediateTransition

 

source(filename) - Class method in class GLOBALS

 

sourceAPI(filename) - Class method in class GLOBALS

 

T

Test - class Test

 

Test(a,b,c) - Constructor in class Test

 

TimedTransition - class TimedTransition

 

TimedTransition(javaObject) - Constructor in class TimedTransition

 

toFile(filename) - Instance method in class Net

 

toString() - Instance method in class Attribute

 

toString() - Instance method in class ModulePin

 

W

withName(net, name) - Class method in class Definition

 

withName(net, name) - Class method in class ImmediateTransition

 

withName(net, name) - Class method in class Measure

 

withName(net, name) - Class method in class Place

 

withName(net, name) - Class method in class SubstitutionTransition

 

withName(net, name) - Class method in class TimedTransition