org.jmlspecs.jml4.fspv.theory
Class Theory

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.Theory

public class Theory
extends java.lang.Object

Author:

karabot

Field Summary

TheoryLemma[]	lemmas
java.lang.String	name

Constructor Summary

Theory(java.lang.String name, TheoryLemma[] lemmas)

Method Summary

java.lang.String	toString()
java.lang.Object	visit(TheoryVisitor visitor)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

name

public final java.lang.String name

lemmas

public final TheoryLemma[] lemmas

Constructor Detail

Theory

public Theory(java.lang.String name,
              TheoryLemma[] lemmas)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

visit

public java.lang.Object visit(TheoryVisitor visitor)