|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use SetOfFormulas | |
---|---|
argutia.logic | |
argutia.logic.argumentationFramework | |
argutia.logic.resolution | |
argutia.logic.sets | |
argutia.logic.syntax |
Uses of SetOfFormulas in argutia.logic |
---|
Fields in argutia.logic declared as SetOfFormulas | |
---|---|
private SetOfFormulas |
Formula.singleton
|
Methods in argutia.logic that return SetOfFormulas | |
---|---|
SetOfFormulas |
Formula.getSingleton()
|
Uses of SetOfFormulas in argutia.logic.argumentationFramework |
---|
Fields in argutia.logic.argumentationFramework declared as SetOfFormulas | |
---|---|
private SetOfFormulas |
Argument.conclusion
|
private SetOfFormulas |
Situation.eFInterrogations
|
protected SetOfFormulas |
Agent.K
Connaissances |
private SetOfFormulas |
Argument.support
|
protected SetOfFormulas |
Agent.X
Interdit |
Fields in argutia.logic.argumentationFramework with type parameters of type SetOfFormulas | |
---|---|
private Partition<Agent.Attitude,SetOfFormulas> |
Situation.p2Interrogations
|
Methods in argutia.logic.argumentationFramework that return SetOfFormulas | |
---|---|
SetOfFormulas |
Argument.getConclusion()
|
SetOfFormulas |
Situation.getEdF()
|
SetOfFormulas |
Agent.getK()
|
SetOfFormulas |
Argument.getSupport()
|
Methods in argutia.logic.argumentationFramework that return types with arguments of type SetOfFormulas | |
---|---|
Partition<Agent.Attitude,SetOfFormulas> |
Situation.getPInterrogations()
|
Partition<Agent.Attitude,SetOfFormulas> |
Agent.partitionnerInterrogations(FamilyOfSets interrogations)
|
Methods in argutia.logic.argumentationFramework with parameters of type SetOfFormulas | |
---|---|
private Partition<Agent.Interdit,Formula> |
Agent.partitionnerInterdits(SetOfFormulas interdits)
|
Partition<Agent.Attitude,Formula> |
Agent.partitionnerInterrogations(SetOfFormulas interrogations)
|
Constructors in argutia.logic.argumentationFramework with parameters of type SetOfFormulas | |
---|---|
Agent(SetOfFormulas connaissances,
SetOfFormulas interdits)
|
|
Agent(String title,
SetOfFormulas connaissances,
SetOfFormulas interdits)
|
|
Argument(SetOfFormulas support,
SetOfFormulas conclusion,
boolean attaque)
|
|
Situation(Agent agent,
SetOfFormulas interrogations)
|
Uses of SetOfFormulas in argutia.logic.resolution |
---|
Methods in argutia.logic.resolution with parameters of type SetOfFormulas | |
---|---|
void |
Resolution.injecterEnsembleDeFormules(SetOfFormulas e)
|
Uses of SetOfFormulas in argutia.logic.sets |
---|
Fields in argutia.logic.sets declared as SetOfFormulas | |
---|---|
static SetOfFormulas |
SetOfFormulas.CONTRADICTION
|
static SetOfFormulas |
SetOfFormulas.TAUTOLOGY
|
private SetOfFormulas |
MutableSetOfFormulas.unionDesNegations
|
Fields in argutia.logic.sets with type parameters of type SetOfFormulas | |
---|---|
private Set<SetOfFormulas> |
MutableFamilyOfSets.contenu
|
Methods in argutia.logic.sets that return SetOfFormulas | |
---|---|
SetOfFormulas |
SetOfFormulas.getUnionDesNegations()
|
SetOfFormulas |
MutableSetOfFormulas.getUnionDesNegations()
|
SetOfFormulas |
ISetOfFormulas.getUnionDesNegations()
|
SetOfFormulas |
SetOfFormulas.toImmutable()
|
SetOfFormulas |
MutableSetOfFormulas.toImmutable()
|
Methods in argutia.logic.sets that return types with arguments of type SetOfFormulas | |
---|---|
UnmodifiableIterator<SetOfFormulas> |
MutableFamilyOfSets.iterator()
|
UnmodifiableIterator<SetOfFormulas> |
FamilyOfSets.iterator()
|
Methods in argutia.logic.sets with parameters of type SetOfFormulas | |
---|---|
boolean |
MutableFamilyOfSets.add(SetOfFormulas e)
|
boolean |
MutableFamilyOfSets.contains(SetOfFormulas e)
|
boolean |
FamilyOfSets.contains(SetOfFormulas e)
|
Constructor parameters in argutia.logic.sets with type arguments of type SetOfFormulas | |
---|---|
FamilyOfSets(Iterable<SetOfFormulas> source)
|
|
MutableFamilyOfSets(Iterable<SetOfFormulas> source)
|
Uses of SetOfFormulas in argutia.logic.syntax |
---|
Methods in argutia.logic.syntax that return SetOfFormulas | |
---|---|
static SetOfFormulas |
Syntax.analyserTexte(Onglets.JTextPaneColore source,
Onglets.JTextPaneColore sortieErreur)
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||