public class Assertion
extends java.lang.Object
Constructor and Description |
---|
Assertion(Individual a,
Concept c,
Degree l) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Assertion ass)
Indicates whether some other assertion is "equal to" this one.
|
Concept |
getConcept()
Gets the concept.
|
Individual |
getIndividual()
Gets the individual.
|
Degree |
getLowerLimit()
Gets the lower bound degree.
|
java.lang.String |
getNameWithoutDegree()
Gets a printable name of the assertion without the lower bound.
|
int |
getType()
Gets the type of the concept in the assertion.
|
void |
setIndividual(Individual ind)
Sets the individual of the assertion.
|
void |
setLowerLimit(Degree deg)
Sets the lower bound degree.
|
java.lang.String |
toString()
Gets the name of the assertion.
|
public Assertion(Individual a, Concept c, Degree l)
public int getType()
public Degree getLowerLimit()
public Concept getConcept()
public Individual getIndividual()
public void setIndividual(Individual ind)
ind
- An individual.public void setLowerLimit(Degree deg)
deg
- Lower bound degree.public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String getNameWithoutDegree()
public boolean equals(Assertion ass)
ass
- The reference assertion with which to compare.