il2.model
Interface SubDomain

All Known Implementing Classes:
Index, MPETable, Table, UaiEdgeCutter.MyIndex

public interface SubDomain


Method Summary
 Domain domain()
           
 IntSet vars()
           
 

Method Detail

domain

Domain domain()

vars

IntSet vars()


Copyright 2010 UCLA Automated Reasoning Group