## Uses of Class
fuzzydl.Assertion

- Packages that use Assertion
  Package | Description
  --- | ---
  fuzzydl |
  fuzzydl.milp |

- - ### Uses of Assertion in fuzzydl

    Fields in fuzzydl with type parameters of type Assertion
    Modifier and Type | Field and Description
    --- | ---
    `java.util.ArrayList<Assertion>` | KnowledgeBase.`existAssertions` Exists assertions.

    Methods in fuzzydl with parameters of type Assertion
    Modifier and Type | Method and Description
    --- | ---
    `boolean` | Assertion.`equals(Assertion ass)` Indicates whether some other assertion is "equal to" this one.
    `static void` | ClassicalSolver.`solveAnd(Assertion ass, KnowledgeBase kb)` Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | ZadehSolver.`solveAnd(Assertion ass, KnowledgeBase kb)` Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | LukasiewiczSolver.`solveAnd(Assertion ass, KnowledgeBase kb)` Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | ClassicalSolver.`solveOr(Assertion ass, KnowledgeBase kb)` Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | ZadehSolver.`solveOr(Assertion ass, KnowledgeBase kb)` Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | LukasiewiczSolver.`solveOr(Assertion ass, KnowledgeBase kb)` Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | ClassicalSolver.`solveSome(Assertion ass, KnowledgeBase kb)` Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | ZadehSolver.`solveSome(Assertion ass, KnowledgeBase kb)` Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | LukasiewiczSolver.`solveSome(Assertion ass, KnowledgeBase kb)` Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.

  - ### Uses of Assertion in fuzzydl.milp

    Methods in fuzzydl.milp with parameters of type Assertion
    Modifier and Type | Method and Description
    --- | ---
    `void` | MILPHelper.`addNewConstraint(Assertion ass)` Adds a new inequality encoded in a fuzzy assertion.
    `void` | MILPHelper.`addNewConstraint(Assertion ass, double n)` Given a fuzzy assertion a:C >= L and a number n, adds an inequality of the form: xAss >= n.
    `int` | MILPHelper.`getNumberForAssertion(Assertion ass)` Gets an integer codification of an assertion.
    `Variable` | MILPHelper.`getVariable(Assertion ass)` Gets a variable taking the value of a concept assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
    `boolean` | MILPHelper.`hasVariable(Assertion ass)` Cheks if there is a variable for a concept assertion.