Class ConfigurationGeneSyst

java.lang.Object
  ConfigurationGeneSyst

Direct Known Subclasses:

MethodesNonFonctionnelles

public class ConfigurationGeneSyst
extends java.lang.Object

Field Summary

static java.lang.String	AdresseDossierBDB Adresse du dossier BDB de l'atelier
static java.lang.String	AppelAtelierB Methode d'appel du prouveur
static boolean	Cst_FaireExistentielle Variable indiquant le choix par defaut quand aux preuves existentielles.
static int	FormatDot Definition des constantes correspondant aux formats
static int	FormatGxl
static int	FormatHtml
static int	NbFormatsSortie Nombre de formats de sortie supportes par GeneSyst.
static java.lang.String	NomDossierDeBase Nom de base du dossier de travail
static java.lang.String	NomDossierResultat Nom du dossier resultats
static java.lang.String	NomFichierHtml Nom du fichier au format html
static java.lang.String	NomFichierTraces Nom du fichier de traces
static java.lang.String	NomProjetDeBase Nom de base du projet
static java.lang.String	PathDot Nom du chemin du dot
static boolean[]	TabFormatsSortie tableau memorisant les formats de sortie demandes par l'utilisateur.
static boolean[]	TabFormatsSortiePossibles tableau memorisant quels formats de sortie peuvent etre utilises (la limitation etant les applications externes).
static java.util.ArrayList<java.util.ArrayList<java.lang.String>>	TactiquesUtilisateur Definition des tactiques interactives

Constructor Summary

ConfigurationGeneSyst()

Method Summary

static void

initTactiquesInteractives(java.util.ArrayList<java.util.ArrayList<java.lang.String>> Tu)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

AdresseDossierBDB

public static java.lang.String AdresseDossierBDB

Adresse du dossier BDB de l'atelier

AppelAtelierB

public static java.lang.String AppelAtelierB

Methode d'appel du prouveur

NomProjetDeBase

public static java.lang.String NomProjetDeBase

Nom de base du projet

NomDossierDeBase

public static java.lang.String NomDossierDeBase

Nom de base du dossier de travail

NomDossierResultat

public static java.lang.String NomDossierResultat

Nom du dossier resultats

NomFichierTraces

public static java.lang.String NomFichierTraces

Nom du fichier de traces

PathDot

public static java.lang.String PathDot

Nom du chemin du dot

NomFichierHtml

public static java.lang.String NomFichierHtml

Nom du fichier au format html

Cst_FaireExistentielle

public static boolean Cst_FaireExistentielle

Variable indiquant le choix par defaut quand aux preuves existentielles.

NbFormatsSortie

public static int NbFormatsSortie

Nombre de formats de sortie supportes par GeneSyst.

TabFormatsSortiePossibles

public static boolean[] TabFormatsSortiePossibles

tableau memorisant quels formats de sortie peuvent etre utilises (la limitation etant les applications externes).

TabFormatsSortie

public static boolean[] TabFormatsSortie

tableau memorisant les formats de sortie demandes par l'utilisateur.

FormatDot

public static int FormatDot

Definition des constantes correspondant aux formats

FormatHtml

public static int FormatHtml

FormatGxl

public static int FormatGxl

TactiquesUtilisateur

public static java.util.ArrayList<java.util.ArrayList<java.lang.String>> TactiquesUtilisateur

Definition des tactiques interactives

Constructor Detail

ConfigurationGeneSyst

public ConfigurationGeneSyst()

Method Detail

initTactiquesInteractives

public static void initTactiquesInteractives(java.util.ArrayList<java.util.ArrayList<java.lang.String>> Tu)