## 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.