Uses of Class
edu.toronto.cs.cfa.CFA

Packages that use CFA
edu.toronto.cs.boolpg.parser   
edu.toronto.cs.cfa   
 

Uses of CFA in edu.toronto.cs.boolpg.parser
 

Methods in edu.toronto.cs.boolpg.parser that return CFA
 CFA BoolProgramBuilder.getCFA()
           
 

Uses of CFA in edu.toronto.cs.cfa
 

Methods in edu.toronto.cs.cfa that return CFA
 CFA CFAMvSetFactory.getCFA()
           
 CFA CFAMvSetFactory.CFAMvSet.getCFA()
           
 

Methods in edu.toronto.cs.cfa with parameters of type CFA
 boolean CFA.equals(CFA cfa)
           
 CFAMvSetFactory.CFAMvSet CFAMvSetFactory.makeMvSet(CFA v, java.lang.String name)
           
 

Constructors in edu.toronto.cs.cfa with parameters of type CFA
CFAMvSetFactory.CFAMvRelation(CFA _cfa)
           
CFAMvSetFactory.CFAMvSet(CFA _cfa)
           
CFAMvSetFactory.CFAMvSet(CFA _cfa, java.lang.String _name)
           
CFAMvSetFactory(MvSetFactory _factory, CFA _cfa)