|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use Literal | |
---|---|
argutia.logic | |
argutia.logic.resolution |
Uses of Literal in argutia.logic |
---|
Subinterfaces of Literal in argutia.logic | |
---|---|
interface |
Atom
Un atome, ou formule atomique, est un symbole de vérité ou une variable propositionnelle. |
Classes in argutia.logic that implement Literal | |
---|---|
class |
NegativeLiteral
|
class |
PropositionalVariable
En logique propositionnelle, une variable propositionnelle représente une proposition, c'est-à-dire une entité ayant pour valeurs possibles vrai ou faux. |
class |
TruthSymbol
Un symbole de vérité est soit la tautologie, soit la contradiction, formules atomiques respectivement interprétées à vrai et faux dans tous les cas. |
Fields in argutia.logic with type parameters of type Literal | |
---|---|
private Set<Literal> |
Clause.contenu
|
Methods in argutia.logic that return Literal | |
---|---|
Literal |
Literal.getOppose()
|
Methods in argutia.logic that return types with arguments of type Literal | |
---|---|
UnmodifiableIterator<Literal> |
Clause.iterator()
|
Methods in argutia.logic with parameters of type Literal | |
---|---|
private void |
Clause.add(Literal l)
|
Uses of Literal in argutia.logic.resolution |
---|
Fields in argutia.logic.resolution with type parameters of type Literal | |
---|---|
protected static Map<Literal,MaillonLitteral> |
MaillonLitteral.mL_pool
|
Map<Literal,MaillonLitteral> |
Contexte.mL_values
|
Methods in argutia.logic.resolution with parameters of type Literal | |
---|---|
static MaillonLitteral |
MaillonLitteral.getInstance(Contexte data,
Literal l)
|
Constructors in argutia.logic.resolution with parameters of type Literal | |
---|---|
MaillonLitteral(Contexte contexte,
Literal l)
Construit un maillon littéral d'étiquette l, ainsi que le maillon littéral opposé. |
|
MaillonLitteral(Contexte contexte,
Literal l,
MaillonLitteral oppose)
Construit un maillon littéral d'etiquette l et d'opposé oppose. |
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||