00001 00005 package edu.mit.csail.sdg.squander.annotations; 00006 00007 import java.lang.annotation.Documented; 00008 import java.lang.annotation.ElementType; 00009 import java.lang.annotation.Retention; 00010 import java.lang.annotation.RetentionPolicy; 00011 import java.lang.annotation.Target; 00012 00018 @Retention(RetentionPolicy.RUNTIME) 00019 @Target({ElementType.METHOD, ElementType.CONSTRUCTOR}) 00020 @Documented 00021 public @interface Options { 00022 00026 int bitwidth() default 4; 00027 00032 boolean ensureAllInts() default false; 00033 00037 boolean solveAll() default false; 00038 00039 }