src/edu/mit/csail/sdg/squander/annotations/Options.java

Go to the documentation of this file.

package edu.mit.csail.sdg.squander.annotations;

import java.lang.annotation.Documented;
import java.lang.annotation.ElementType;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

@Retention(RetentionPolicy.RUNTIME)
@Target({ElementType.METHOD, ElementType.CONSTRUCTOR})
@Documented
public @interface Options {

    int bitwidth() default 4;
    
    boolean ensureAllInts() default false;

    boolean solveAll() default false;
    
}

---