g2d.npa.examples

Class IntruderKnowledge

java.lang.Object

g2d.npa.examples.IntruderKnowledge

public class IntruderKnowledge
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static Sort	ik
static Constructor	inI
static Sort	msg
static Constructor	neq
static Constructor	ninI
static Constructor[]	ops
static Sort[]	sorts
static Subsorter	subsorter

Constructor Summary

Constructors

Constructor and Description
IntruderKnowledge()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ik

public static Sort ik

msg

public static Sort msg

sorts

public static Sort[] sorts

inI

public static Constructor inI

ninI

public static Constructor ninI

neq

public static Constructor neq

ops

public static Constructor[] ops

subsorter

public static Subsorter subsorter

Constructor Detail

IntruderKnowledge

public IntruderKnowledge()