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.