Uses of Class
fuzzydl.Degree

Packages that use Degree

Package	Description
fuzzydl
fuzzydl.milp

Uses of Degree in fuzzydl

Subclasses of Degree in fuzzydl

Modifier and Type	Class and Description
class	DegreeExpression Degree defined using an expression.
class	DegreeNumeric Degree defined using a real number in [0,1].
class	DegreeVariable Degree defined using a variable.

Fields in fuzzydl declared as Degree

Modifier and Type	Field and Description
static Degree	Degree.ONE

Methods in fuzzydl that return Degree

Modifier and Type	Method and Description
Degree	AtomicAssertion.getDegree() Gets the lower bound degree.
Degree	GeneralConceptInclusion.getDegree() Gets the lower bound for the degree.
Degree	Restriction.getDegree() Gets the lower bound for the degree.
Degree	Relation.getDegree() Returns the lower bound for the degree.
static Degree	Degree.getDegree(java.lang.Double numeric) Constructor for a numeric degree.
static Degree	Degree.getDegree(Expression expr) Constructor for an expression degree.
static Degree	Degree.getDegree(Variable variable) Constructor for a variable degree.
Degree	Assertion.getLowerLimit() Gets the lower bound degree.

Methods in fuzzydl with parameters of type Degree

Modifier and Type	Method and Description
void	KnowledgeBase.addAssertion(Individual a, Concept c, Degree n) Adds a fuzzy assertion of the form (a : C >= n )
Relation	KnowledgeBase.addRelation(Individual indA, java.lang.String role, Individual indB, Degree degree) Adds a fuzzy relation of the form (indA, indB, funcRole, degree)
Relation	Relation.clone(java.lang.String role, Degree degree) Gets a relation (role, lower bound for the degree) for the subject individual.
abstract boolean	Degree.equals(Degree d) Checks if two degrees are equal.
boolean	DegreeExpression.equals(Degree d)
boolean	DegreeNumeric.equals(Degree d)
boolean	DegreeVariable.equals(Degree d)
void	KnowledgeBase.gImplies(Concept conc1, Concept conc2, Degree degree) Adds a Goedel General Concept Inclusion.
void	KnowledgeBase.implies(Concept conc1, Concept conc2, Degree degree) Adds a General Concept Inclusion (conc1, conc2, degree)
void	KnowledgeBase.kdImplies(Concept conc1, Concept conc2, Degree degree) Adds a Kleene-Dienes General Concept Inclusion.
void	KnowledgeBase.lImplies(Concept conc1, Concept conc2, Degree degree) Adds a Lukasiewicz General Concept Inclusion.
void	GeneralConceptInclusion.setDegree(Degree deg) Sets the lower bound for the degree.
void	Assertion.setLowerLimit(Degree deg) Sets the lower bound degree.
void	TrapezoidalConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
void	TriangularConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
void	RightConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
void	LeftConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
void	LinearConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
void	ModifiedConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
void	CrispConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
abstract void	FuzzyConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb) Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.
void	TriangularModifier.solveAssertion(Individual ind, Concept con, Degree lowerLimit, KnowledgeBase kb)
void	LinearModifier.solveAssertion(Individual ind, Concept con, Degree lowerLimit, KnowledgeBase kb)
abstract void	Modifier.solveAssertion(Individual ind, Concept con, Degree degree, KnowledgeBase kb) Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
void	ModifiedConcept.solveAssertion(Individual ind, Degree degree, KnowledgeBase kb) Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
void	FuzzyConcreteConcept.solveComplementAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb) Solves an assertion of the form (individual, complement of the concept, degree) with respect to a fuzzy KB.
void	Modifier.solveComplementAssertion(Individual ind, Concept con, Degree degree, KnowledgeBase kb) Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
void	ModifiedConcept.solveComplementAssertion(Individual ind, Degree degree, KnowledgeBase kb) Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.

Constructors in fuzzydl with parameters of type Degree

Constructor and Description
Assertion(Individual a, Concept c, Degree l)
AtomicAssertion(Concept c, Degree degree)
GeneralConceptInclusion(Concept subsumer, Concept subsumed, Degree degree, int type)
HasValueRestriction(java.lang.String roleName, java.lang.String individual, Degree degree)
Label(Concept concept, Degree weight)
Relation(java.lang.String roleName, Individual ind1, Individual ind2, Degree degree)
Restriction(java.lang.String roleName, Concept concept, Degree degree)

Uses of Degree in fuzzydl.milp

Methods in fuzzydl.milp with parameters of type Degree

Modifier and Type	Method and Description
void	MILPHelper.addNewConstraint(Expression expr, char constraintType, Degree degree) Adds a new inequality of the form: expr constraintType degree.
void	MILPHelper.addNewConstraint(Variable x, Degree D) Add an inequality of the form: x >= D.