test_class.file: opendse-optimization/src/test/java/net/sf/opendse/optimization/SATCreatorDecoderTest.java
test_class.identifier: SATCreatorDecoderTest
test_case.body: @Test(expected=IllegalArgumentException.class)
  	public void testIgnoredVariable2() {
  		// five entries, but variable ignored
  		int orderSize = 5;
  		int orderIndex = -1;
  		SATCreatorDecoder testObject = getObject();
  		testObject.getUpperOrderBound(orderSize, orderIndex);
  	}
test_case.class_method_signature: SATCreatorDecoderTest.testIgnoredVariable2()
test_case.full_signature: @Test(expected=IllegalArgumentException.class) public void testIgnoredVariable2()
test_case.identifier: testIgnoredVariable2
test_case.invocations: getObject getUpperOrderBound
test_case.modifiers: @Test(expected=IllegalArgumentException.class) public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testIgnoredVariable2()
focal_class.declarator: order
focal_class.modifier: final
focal_class.original_string: final VariableClassOrder order;
focal_class.type: VariableClassOrder
focal_class.var_name: order
focal_class.declarator: lb = new HashMap<Class<?>, Double>()
focal_class.original_string: Map<Class<?>, Double> lb = new HashMap<Class<?>, Double>();
focal_class.type: Map<Class<?>, Double>
focal_class.var_name: lb
focal_class.declarator: ub = new HashMap<Class<?>, Double>()
focal_class.original_string: Map<Class<?>, Double> ub = new HashMap<Class<?>, Double>();
focal_class.type: Map<Class<?>, Double>
focal_class.var_name: ub
focal_class.declarator: constraints
focal_class.modifier: protected final
focal_class.original_string: protected final SATConstraints constraints;
focal_class.type: SATConstraints
focal_class.var_name: constraints
focal_class.declarator: specificationWrapper
focal_class.modifier: protected final
focal_class.original_string: protected final SpecificationWrapper specificationWrapper;
focal_class.type: SpecificationWrapper
focal_class.var_name: specificationWrapper
focal_class.declarator: interpreter
focal_class.modifier: protected final
focal_class.original_string: protected final Interpreter interpreter;
focal_class.type: Interpreter
focal_class.var_name: interpreter
focal_class.declarator: control
focal_class.modifier: protected final
focal_class.original_string: protected final Control control;
focal_class.type: Control
focal_class.var_name: control
focal_class.file: opendse-optimization/src/main/java/net/sf/opendse/optimization/SATCreatorDecoder.java
focal_class.identifier: SATCreatorDecoder
focal_class.class_method_signature: SATCreatorDecoder.SATCreatorDecoder(VariableClassOrder order, SATManager manager, Rand random, SATConstraints constraints,
  			SpecificationWrapper specificationWrapper, Interpreter interpreter, Control control,
  			@Constant(value = "variableorder", namespace = SATCreatorDecoder.class) boolean useVariableOrder)
focal_class.full_signature: @Inject public  SATCreatorDecoder(VariableClassOrder order, SATManager manager, Rand random, SATConstraints constraints,
  			SpecificationWrapper specificationWrapper, Interpreter interpreter, Control control,
  			@Constant(value = "variableorder", namespace = SATCreatorDecoder.class) boolean useVariableOrder)
focal_class.identifier: SATCreatorDecoder
focal_class.modifiers: @Inject public
focal_class.parameters: (VariableClassOrder order, SATManager manager, Rand random, SATConstraints constraints,
  			SpecificationWrapper specificationWrapper, Interpreter interpreter, Control control,
  			@Constant(value = "variableorder", namespace = SATCreatorDecoder.class) boolean useVariableOrder)
focal_class.signature:  SATCreatorDecoder(VariableClassOrder order, SATManager manager, Rand random, SATConstraints constraints,
  			SpecificationWrapper specificationWrapper, Interpreter interpreter, Control control,
  			@Constant(value = "variableorder", namespace = SATCreatorDecoder.class) boolean useVariableOrder)
focal_class.class_method_signature: SATCreatorDecoder.convertModel(Model model)
focal_class.full_signature: @Override public ImplementationWrapper convertModel(Model model)
focal_class.identifier: convertModel
focal_class.modifiers: @Override public
focal_class.parameters: (Model model)
focal_class.return: ImplementationWrapper
focal_class.signature: ImplementationWrapper convertModel(Model model)
focal_class.class_method_signature: SATCreatorDecoder.createConstraints()
focal_class.full_signature: @Override public Set<Constraint> createConstraints()
focal_class.identifier: createConstraints
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: Set<Constraint>
focal_class.signature: Set<Constraint> createConstraints()
focal_class.class_method_signature: SATCreatorDecoder.randomize(Collection<Object> variables, Map<Object, Double> lowerBounds,
  			Map<Object, Double> upperBounds, Map<Object, Double> priorities, Map<Object, Boolean> phases)
focal_class.full_signature: @Override public void randomize(Collection<Object> variables, Map<Object, Double> lowerBounds,
  			Map<Object, Double> upperBounds, Map<Object, Double> priorities, Map<Object, Boolean> phases)
focal_class.identifier: randomize
focal_class.modifiers: @Override public
focal_class.parameters: (Collection<Object> variables, Map<Object, Double> lowerBounds,
  			Map<Object, Double> upperBounds, Map<Object, Double> priorities, Map<Object, Boolean> phases)
focal_class.return: void
focal_class.signature: void randomize(Collection<Object> variables, Map<Object, Double> lowerBounds,
  			Map<Object, Double> upperBounds, Map<Object, Double> priorities, Map<Object, Boolean> phases)
focal_class.class_method_signature: SATCreatorDecoder.getUpperOrderBound(int orderSize, int orderIndex)
focal_class.full_signature: protected double getUpperOrderBound(int orderSize, int orderIndex)
focal_class.identifier: getUpperOrderBound
focal_class.modifiers: protected
focal_class.parameters: (int orderSize, int orderIndex)
focal_class.return: double
focal_class.signature: double getUpperOrderBound(int orderSize, int orderIndex)
focal_class.class_method_signature: SATCreatorDecoder.getLowerOrderBound(int orderSize, int orderIndex)
focal_class.full_signature: protected double getLowerOrderBound(int orderSize, int orderIndex)
focal_class.identifier: getLowerOrderBound
focal_class.modifiers: protected
focal_class.parameters: (int orderSize, int orderIndex)
focal_class.return: double
focal_class.signature: double getLowerOrderBound(int orderSize, int orderIndex)
focal_class.class_method_signature: SATCreatorDecoder.ignoreVariables(Set<Object> variables)
focal_class.full_signature: @Override public Set<Object> ignoreVariables(Set<Object> variables)
focal_class.identifier: ignoreVariables
focal_class.modifiers: @Override public
focal_class.parameters: (Set<Object> variables)
focal_class.return: Set<Object>
focal_class.signature: Set<Object> ignoreVariables(Set<Object> variables)
focal_class.class_method_signature: SATCreatorDecoder.getLowerBounds(Set<Object> variables)
focal_class.full_signature: @Override public Map<Object, Double> getLowerBounds(Set<Object> variables)
focal_class.identifier: getLowerBounds
focal_class.modifiers: @Override public
focal_class.parameters: (Set<Object> variables)
focal_class.return: Map<Object, Double>
focal_class.signature: Map<Object, Double> getLowerBounds(Set<Object> variables)
focal_class.class_method_signature: SATCreatorDecoder.getUpperBounds(Set<Object> variables)
focal_class.full_signature: @Override public Map<Object, Double> getUpperBounds(Set<Object> variables)
focal_class.identifier: getUpperBounds
focal_class.modifiers: @Override public
focal_class.parameters: (Set<Object> variables)
focal_class.return: Map<Object, Double>
focal_class.signature: Map<Object, Double> getUpperBounds(Set<Object> variables)
focal_class.superclass: extends AbstractSATDecoder<Genotype, ImplementationWrapper>
focal_method.body: protected double getUpperOrderBound(int orderSize, int orderIndex) {
  		if (orderIndex == -1) {
  			throw new IllegalArgumentException("Illegal order index provided.");
  		}
  		return (orderSize - orderIndex) * 1.0 / orderSize;
  	}
focal_method.class_method_signature: SATCreatorDecoder.getUpperOrderBound(int orderSize, int orderIndex)
focal_method.full_signature: protected double getUpperOrderBound(int orderSize, int orderIndex)
focal_method.identifier: getUpperOrderBound
focal_method.modifiers: protected
focal_method.parameters: (int orderSize, int orderIndex)
focal_method.return: double
focal_method.signature: double getUpperOrderBound(int orderSize, int orderIndex)