uk.ac.man.cs.rainbow.wvmc.parser
Class FormPair

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.wvmc.parser.FormPair

public class FormPair

extends Object

A pair of formulæ.

Constructor Summary

FormPair(Formula formula1, Formula formula2)

Method Summary

Formula	getFormula1()
Formula	getFormula2()

Methods inherited from class java.lang.Object

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

Constructor Detail

FormPair

public FormPair(Formula formula1,
                Formula formula2)

Method Detail

getFormula1

public Formula getFormula1()

getFormula2

public Formula getFormula2()