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.