Pandora.NDRules
Class Pair

java.lang.Object
  Pandora.NDRules.Pair

public class Pair
extends java.lang.Object

Constructor Summary

Pair(Term first, Term second, ProofLine line, int occurrences)

Method Summary

java.lang.String	display()
Term	getFirst()
ProofLine	getLine()
int	getOccurrences()
Term	getSecond()
void	incrementOccurrences()
boolean	isIn(java.util.List<Pair> pairs)
void	setLine(ProofLine line)
void	setSecond(Term second)

Methods inherited from class java.lang.Object

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

Constructor Detail

Pair

public Pair(Term first,
            Term second,
            ProofLine line,
            int occurrences)

Method Detail

getFirst

public Term getFirst()

getSecond

public Term getSecond()

getLine

public ProofLine getLine()

getOccurrences

public int getOccurrences()

setLine

public void setLine(ProofLine line)

setSecond

public void setSecond(Term second)

incrementOccurrences

public void incrementOccurrences()

isIn

public boolean isIn(java.util.List<Pair> pairs)

display

public java.lang.String display()