public boolean getOption(OPTIONS op) {
		if (op.equals(OPTIONS.AUTO_PROPAGATE)) return autoprop;
		else if (op.equals(OPTIONS.NO_PROP_ON_VAR_CREATION)) return noPropOnVarCreation;
		else if (op.equals(OPTIONS.MANUAL_PROPAGATE)) return !autoprop;
		else if (op.equals(OPTIONS.DOMAINS_AUTO_INSTANTIATED)) return domainsAutoInstantiated;
		else if (op.equals(OPTIONS.DOMAINS_MANUALLY_INSTANTIATED)) return !domainsAutoInstantiated;
		return false;
	}
public boolean getOption ( OPTIONS op ) { if ( op . equals ( OPTIONS . AUTO_PROPAGATE ) ) return autoprop ; else if ( op . equals ( OPTIONS . NO_PROP_ON_VAR_CREATION ) ) return noPropOnVarCreation ; else if ( op . equals ( OPTIONS . MANUAL_PROPAGATE ) ) return ! autoprop ; else if ( op . equals ( OPTIONS . DOMAINS_AUTO_INSTANTIATED ) ) return domainsAutoInstantiated ; else if ( op . equals ( OPTIONS . DOMAINS_MANUALLY_INSTANTIATED ) ) return ! domainsAutoInstantiated ; return false ; }
Get option value for this {@link ConstraintSolver}.
@param op The option to get (see {@link OPTIONS}).
@return <code>true</code> iff the given option is set.