jedd.order
Interface Order

All Known Implementing Classes:
AsymInterleave, Interleave, Permute, PhysicalDomain, PhysicalDomain, Rev, Seq

public interface Order

Interface for a specification of the order in which the BDD variables of all the physical domains should appear in the BDD.


Method Summary
 java.util.List listBits()
           
 

Method Detail

listBits

java.util.List listBits()