argutia.logic
Class TruthSymbol

java.lang.Object
  extended by argutia.logic.syntax.SyntacticUnit
      extended by argutia.logic.syntax.ConfigurableSyntacticUnit
          extended by argutia.logic.TruthSymbol
All Implemented Interfaces:
AffichableAvecStyle, Atom, Literal
@Immutable
public class TruthSymbol
extends ConfigurableSyntacticUnit
implements Atom

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.

Author:
Geoffroy AUBRY
Test Case:
TruthSymbolTest
Field Summary
static TruthSymbol CONTRADICTION
          La contradiction, notée usuellement ⊥, est une formule atomique fausse dans tous les cas.
static String RB_TRUTH_SYMBOLS_CONTRADICTION
           
static String RB_TRUTH_SYMBOLS_TAUTOLOGY
           
static TruthSymbol TAUTOLOGY
          La tautologie, notée usuellement ⊤, est une formule atomique vraie dans tous les cas.
 
Constructor Summary
private TruthSymbol(String resourceBundleKey)
          Construit un symbole de vérité.
 
Method Summary
 TruthSymbol getOppose()
          Retourne la contradiction si c'est la tautologie et inversement.
 
Methods inherited from class argutia.logic.syntax.ConfigurableSyntacticUnit
getResourceBundleKey, iterator, toString, toStyledString
 
Methods inherited from class argutia.logic.syntax.SyntacticUnit
equals, hashCode
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Field Detail

RB_TRUTH_SYMBOLS_TAUTOLOGY

@ResourceBundle.Prefix(value="argutia.argutia")
public static final String RB_TRUTH_SYMBOLS_TAUTOLOGY
See Also:
TAUTOLOGY, Constant Field Values
Constant Field Value:
"truth_symbols.tautology"

RB_TRUTH_SYMBOLS_CONTRADICTION

@ResourceBundle.Prefix(value="argutia.argutia")
public static final String RB_TRUTH_SYMBOLS_CONTRADICTION
See Also:
CONTRADICTION, Constant Field Values
Constant Field Value:
"truth_symbols.contradiction"

TAUTOLOGY

public static final TruthSymbol TAUTOLOGY
La tautologie, notée usuellement ⊤, est une formule atomique vraie dans tous les cas.

CONTRADICTION

public static final TruthSymbol CONTRADICTION
La contradiction, notée usuellement ⊥, est une formule atomique fausse dans tous les cas.

Constructor Detail

TruthSymbol

private TruthSymbol(String resourceBundleKey)
Construit un symbole de vérité.

See Also:
ConfigurableSyntacticUnit.ConfigurableSyntacticUnit(String)
Implementation Notes:
Se contente d'appeler le constructeur parent : ConfigurableSyntacticUnit.ConfigurableSyntacticUnit(String).
Parameters:
resourceBundleKey - clef permettant de retrouver les propriétés d'un MyResourceBundle concernées par le symbole de vérité (dénomination, orthographe, ...).
Method Detail

getOppose

public TruthSymbol getOppose()
Retourne la contradiction si c'est la tautologie et inversement.

Specified by:
getOppose in interface Literal
Test Case:
TruthSymbolTest.testGetOppose()
Returns:
la contradiction si c'est la tautologie et inversement.
Argutia JavaDoc
23 décembre 2007