Uses of Interface
argutia.logic.sets.ISetOfFormulas

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)
           
 
Argutia JavaDoc
23 décembre 2007