|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use ISetOfFormulas | |
---|---|
argutia.logic.sets |
Uses of ISetOfFormulas in argutia.logic.sets |
---|
Classes in argutia.logic.sets that implement ISetOfFormulas | |
---|---|
class |
MutableSetOfFormulas
|
class |
SetOfFormulas
|
Methods in argutia.logic.sets that return ISetOfFormulas | |
---|---|
ISetOfFormulas |
ISetOfFormulas.toImmutable()
|
Methods in argutia.logic.sets that return types with arguments of type ISetOfFormulas | |
---|---|
Set<? extends ISetOfFormulas> |
ISetOfFormulas.getPowerSet()
|
Methods in argutia.logic.sets with parameters of type ISetOfFormulas | |
---|---|
void |
MutableSetOfFormulas.add(ISetOfFormulas eF)
|
boolean |
SetOfFormulas.contains(ISetOfFormulas e)
|
boolean |
MutableSetOfFormulas.contains(ISetOfFormulas E)
|
boolean |
ISetOfFormulas.contains(ISetOfFormulas e)
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||