heros.fieldsens.structs

Class FactAtStatement<Fact,Stmt>

java.lang.Object

heros.fieldsens.structs.FactAtStatement<Fact,Stmt>

public class FactAtStatement<Fact,Stmt>
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Fact	fact
Stmt	stmt

Constructor Summary

Constructors

Constructor and Description
FactAtStatement(Fact fact, Stmt stmt)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

fact

public final Fact fact

stmt

public final Stmt stmt

Constructor Detail

FactAtStatement

public FactAtStatement(Fact fact,
                       Stmt stmt)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object