## Uses of Class
fuzzydl.Restriction

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

- - ### Uses of Restriction in fuzzydl

    Subclasses of Restriction in fuzzydl
    Modifier and Type | Class and Description
    --- | ---
    `class` | `HasValueRestriction` Universal restriction formed by a role, a individual and a lower bound degree.

    Methods in fuzzydl with parameters of type Restriction
    Modifier and Type | Method and Description
    --- | ---
    `void` | KnowledgeBase.`addAssertion(Individual a, Restriction restric)` Adds a fuzzy assertion of the form (a : forall R.C >= n )
    `static void` | ClassicalSolver.`solveAll(Relation rel, Restriction restric, KnowledgeBase kb)` Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | ZadehSolver.`solveAll(Relation rel, Restriction restric, KnowledgeBase kb)` Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | LukasiewiczSolver.`solveAll(Relation rel, Restriction restric, KnowledgeBase kb)` Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.

  - ### Uses of Restriction in fuzzydl.milp

    Methods in fuzzydl.milp with parameters of type Restriction
    Modifier and Type | Method and Description
    --- | ---
    `Variable` | MILPHelper.`getVariable(Individual ind, Restriction restric)` Gets a variable taking the value of a universal restriction, creating a new one of type UP_BOUND_BY_ONE if it does not exist.