uk.ac.manchester.cs.jfact.kernel

Class ConceptWDep

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.ConceptWDep

All Implemented Interfaces:

Serializable

@PortedFrom(file="ConceptWithDep.h",
            name="Concept")
public class ConceptWDep
extends Object
implements Serializable

concept and dependency set

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ConceptWDep(int p) c'tor with empty dep-set
ConceptWDep(int p, DepSet dep)

Method Summary

Modifier and Type	Method and Description
void	addDep(DepSet d) add dep-set to a CWD
boolean	equals(Object obj)
int	getConcept()
DepSet	getDep()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ConceptWDep

public ConceptWDep(int p)

c'tor with empty dep-set

Parameters:

p - p

ConceptWDep

public ConceptWDep(int p,
                   DepSet dep)

Parameters:

p - p

dep - dep

Method Detail

getConcept

@PortedFrom(file="ConceptWithDep.h",
            name="getC")
public int getConcept()

Returns:

concept

getDep

@PortedFrom(file="ConceptWithDep.h",
            name="getDep")
public DepSet getDep()

Returns:

dep-set

addDep

@PortedFrom(file="ConceptWithDep.h",
            name="addDep")
public void addDep(DepSet d)

add dep-set to a CWD

Parameters:

d - d

toString

public String toString()

Overrides:

toString in class Object

Returns:

print concept and a dep-set

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(@Nullable
                      Object obj)

Overrides:

equals in class Object