Raptor.NDRules
Class Pair

java.lang.Object
  Raptor.NDRules.Pair

public class Pair
extends java.lang.Object

Constructor Summary

Pair(Term pFirst, Term pSecond, ProofLine pLine, int pOccurrences)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Pair

public Pair(Term pFirst,
            Term pSecond,
            ProofLine pLine,
            int pOccurrences)

Method Detail

getFirst

public Term getFirst()

getSecond

public Term getSecond()

getLine

public ProofLine getLine()

getOccurrences

public int getOccurrences()

setLine

public void setLine(ProofLine pLine)

setSecond

public void setSecond(Term pSecond)

incrementOccurrences

public void incrementOccurrences()

isIn

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

display

public java.lang.String display()