JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Index
Help
SEARCH:
Uses of Class
edu.uky.ai.logic.Disjunction
Packages that use
Disjunction
Package
Description
edu.uky.ai.logic
Contains objects for representing logical formulas.
Uses of
Disjunction
in
edu.uky.ai.logic
Methods in
edu.uky.ai.logic
that return
Disjunction
Modifier and Type
Method
Description
Disjunction
Conjunction.
negate
()
Disjunction
Disjunction.
negate
()