Raptor
Class Types

java.lang.Object
  Raptor.Types

public class Types
extends java.lang.Object

Constants for justifications.

Field Summary

static java.lang.String	AndElim
static java.lang.String	AndIntro
static java.lang.String	Assign
static java.lang.String	Assume
static java.lang.String	EM
static java.lang.String	Empty
static java.lang.String	ExistsElim
static java.lang.String	ExistsIntro
static java.lang.String	FalsityElim
static java.lang.String	FalsityIntro
static java.lang.String	ForallArrowElim
static java.lang.String	ForallElim
static java.lang.String	ForallIntro
static java.lang.String	ForallTick
static java.lang.String	Given
static java.lang.String	Goal
static java.lang.String	If
static java.lang.String	IffElim
static java.lang.String	IffIntro
static java.lang.String	ImpliesElim
static java.lang.String	ImpliesIntro
static java.lang.String	Instantiate
static java.lang.String	LEMMA
static java.lang.String	Method
static java.lang.String	NotElim
static java.lang.String	NotIntro
static java.lang.String	NotNot
static java.lang.String	OrElim
static java.lang.String	OrIntro
static java.lang.String	PC
static java.lang.String	Pre
static java.lang.String	Program
static java.lang.String	Reflexivity
static java.lang.String	Semi
static java.lang.String	Skip
static java.lang.String	Skolem
static java.lang.String	Skolem2
static java.lang.String	Sub
static java.lang.String	Tick
static java.lang.String	TM
static java.lang.String	TMTick
static java.lang.String	TopIntro
static java.lang.String	While

Constructor Summary

Types()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

Given

public static final java.lang.String Given

See Also:

Constant Field Values

Goal

public static final java.lang.String Goal

See Also:

Constant Field Values

Assume

public static final java.lang.String Assume

See Also:

Constant Field Values

ImpliesElim

public static final java.lang.String ImpliesElim

See Also:

Constant Field Values

ImpliesIntro

public static final java.lang.String ImpliesIntro

See Also:

Constant Field Values

AndElim

public static final java.lang.String AndElim

See Also:

Constant Field Values

AndIntro

public static final java.lang.String AndIntro

See Also:

Constant Field Values

Tick

public static final java.lang.String Tick

See Also:

Constant Field Values

TMTick

public static final java.lang.String TMTick

See Also:

Constant Field Values

TM

public static final java.lang.String TM

See Also:

Constant Field Values

LEMMA

public static final java.lang.String LEMMA

See Also:

Constant Field Values

OrElim

public static final java.lang.String OrElim

See Also:

Constant Field Values

OrIntro

public static final java.lang.String OrIntro

See Also:

Constant Field Values

IffElim

public static final java.lang.String IffElim

See Also:

Constant Field Values

IffIntro

public static final java.lang.String IffIntro

See Also:

Constant Field Values

NotElim

public static final java.lang.String NotElim

See Also:

Constant Field Values

NotIntro

public static final java.lang.String NotIntro

See Also:

Constant Field Values

FalsityElim

public static final java.lang.String FalsityElim

See Also:

Constant Field Values

FalsityIntro

public static final java.lang.String FalsityIntro

See Also:

Constant Field Values

Empty

public static final java.lang.String Empty

See Also:

Constant Field Values

PC

public static final java.lang.String PC

See Also:

Constant Field Values

EM

public static final java.lang.String EM

See Also:

Constant Field Values

NotNot

public static final java.lang.String NotNot

See Also:

Constant Field Values

Reflexivity

public static final java.lang.String Reflexivity

See Also:

Constant Field Values

Sub

public static final java.lang.String Sub

See Also:

Constant Field Values

ExistsIntro

public static final java.lang.String ExistsIntro

See Also:

Constant Field Values

ExistsElim

public static final java.lang.String ExistsElim

See Also:

Constant Field Values

ForallIntro

public static final java.lang.String ForallIntro

See Also:

Constant Field Values

ForallElim

public static final java.lang.String ForallElim

See Also:

Constant Field Values

Skolem

public static final java.lang.String Skolem

See Also:

Constant Field Values

Skolem2

public static final java.lang.String Skolem2

See Also:

Constant Field Values

ForallTick

public static final java.lang.String ForallTick

See Also:

Constant Field Values

ForallArrowElim

public static final java.lang.String ForallArrowElim

See Also:

Constant Field Values

TopIntro

public static final java.lang.String TopIntro

See Also:

Constant Field Values

Pre

public static final java.lang.String Pre

See Also:

Constant Field Values

Semi

public static final java.lang.String Semi

See Also:

Constant Field Values

Assign

public static final java.lang.String Assign

See Also:

Constant Field Values

If

public static final java.lang.String If

See Also:

Constant Field Values

Instantiate

public static final java.lang.String Instantiate

See Also:

Constant Field Values

Skip

public static final java.lang.String Skip

See Also:

Constant Field Values

While

public static final java.lang.String While

See Also:

Constant Field Values

Method

public static final java.lang.String Method

See Also:

Constant Field Values

Program

public static final java.lang.String Program

See Also:

Constant Field Values

Constructor Detail

Types

public Types()