Uses of Class
edu.toronto.cs.tlq.MvSetCrossProductAlgebra

Packages that use MvSetCrossProductAlgebra
edu.toronto.cs.tlq Classes used by TLQSolver extension of XChek 
 

Uses of MvSetCrossProductAlgebra in edu.toronto.cs.tlq
 

Methods in edu.toronto.cs.tlq that return MvSetCrossProductAlgebra
 MvSetCrossProductAlgebra MvSetUpsetAlgebra.getCrossProductAlgebra()
          Returns underlying cross-product algebra