Nspk (Graphics2D Actor API)

java.lang.Object
- g2d.npa.examples.Nspk

public class Nspk
extends java.lang.Object

Field Summary

Fields
Modifier and Type	Field and Description
`static Constructor`	`a`
`static Constructor`	`b`
`static Sort[]`	`empty`
`static Constructor`	`f`
`static Sort`	`fresh`
`static Constructor`	`i`
`static Constructor`	`k`
`static Sort[]`	`kArgs`
`static Sort`	`key`
`static Constructor`	`m`
`static Sort`	`msg`
`static java.util.ArrayList<Term>`	`mtlist`
`static Constructor`	`n`
`static Sort`	`name`
`static Sort[]`	`nArgs`
`static Sort`	`nonce`
`static Constructor[]`	`ops`
`static Constructor`	`pk`
`static Sort`	`pub`
`static Constructor`	`semicolon`
`static Sort[]`	`semicolonArgs`
`static Constructor`	`sk`
`static Sort[]`	`sorts`
`static Subsorter`	`subsorter`

Constructor Summary

Constructors
Constructor and Description

Nspk()

Constructors
Constructor and Description
`Nspk()`

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type Method and Description

static void main()
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`static void`	`main()`

Field Detail

fresh
```
public static final Sort fresh
```

msg
```
public static final Sort msg
```

key
```
public static final Sort key
```

nonce
```
public static final Sort nonce
```

pub
```
public static final Sort pub
```

name
```
public static final Sort name
```

sorts
```
public static final Sort[] sorts
```

subsorter

public static final Subsorter subsorter

empty
```
public static final Sort[] empty
```

a
```
public static final Constructor a
```

b
```
public static final Constructor b
```

i
```
public static final Constructor i
```

f
```
public static final Constructor f
```

k
```
public static final Constructor k
```

m
```
public static final Constructor m
```

semicolonArgs

public static final Sort[] semicolonArgs

semicolon

public static final Constructor semicolon

nArgs
```
public static final Sort[] nArgs
```

n
```
public static final Constructor n
```

kArgs
```
public static final Sort[] kArgs
```

pk
```
public static final Constructor pk
```

sk
```
public static final Constructor sk
```

ops
```
public static final Constructor[] ops
```

mtlist

public static final java.util.ArrayList<Term> mtlist

Constructor Detail
- Nspk
```
public Nspk()
```

Method Detail
- main
```
public static void main()
```

Class Nspk

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

fresh

msg

key

nonce

pub

name

sorts

subsorter

empty

a

b

i

f

k

m

semicolonArgs

semicolon

nArgs

n

kArgs

pk

sk

ops

mtlist

Constructor Detail

Nspk

Method Detail

main