org.kahina.logic.sat.data.free

Class VarName

java.lang.Object

org.kahina.logic.sat.data.free.VarName

public class VarName
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
int	num

Constructor Summary

Constructors

Constructor and Description
VarName()
VarName(int n)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
static int	freshName()
int	hashCode()
static void	resetNames()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

num

public final int num

Constructor Detail

VarName

public VarName()

VarName

public VarName(int n)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

freshName

public static int freshName()

resetNames

public static void resetNames()

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object