Class PredicatePosition

java.lang.Object

fr.lirmm.graphik.integraal.rulesetanalyser.util.PredicatePosition

All Implemented Interfaces:

Comparable<PredicatePosition>

public class PredicatePosition
extends Object
implements Comparable<PredicatePosition>

Identifies one argument position of a predicate.

Author:

Clément Sipieter (INRIA) clement@6pi.fr

Field Summary

Fields

Modifier and Type	Field	Description
int	position	Zero-based argument position within the predicate.
Predicate	predicate	Predicate of the identified position.

Constructor Summary

Constructors

Constructor	Description
PredicatePosition(Predicate predicate, int position)	Creates a predicate-position identifier.

Method Summary

Modifier and Type	Method	Description
int	compareTo(PredicatePosition other)
boolean	equals(Object o)
int	hashCode()
String	toString()

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

predicate

public Predicate predicate

Predicate of the identified position.

position

public int position

Zero-based argument position within the predicate.

Constructor Details

PredicatePosition

public PredicatePosition(Predicate predicate,
 int position)

Creates a predicate-position identifier.

Parameters:

predicate - the predicate

position - the argument position

Method Details

compareTo

public int compareTo(PredicatePosition other)

Specified by:

compareTo in interface Comparable<PredicatePosition>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object