Examples with GrounderHeuristicsConfiguration at.ac.tuwien.kr.alpha.api.config.GrounderHeuristicsConfiguration used on opensource projects

Example 6 with GrounderHeuristicsConfiguration

use of at.ac.tuwien.kr.alpha.api.config.GrounderHeuristicsConfiguration in project Alpha by alpha-asp.

the class GrounderHeuristicConfigurationTest method testGetInstanceStrictStrict.

@Test
public void testGetInstanceStrictStrict() {
    GrounderHeuristicsConfiguration grounderHeuristicsConfiguration = GrounderHeuristicsConfiguration.getInstance(STRICT_STRING, STRICT_STRING);
    assertFalse(grounderHeuristicsConfiguration.isPermissive(true));
    assertFalse(grounderHeuristicsConfiguration.isPermissive(false));
    assertEquals(0, grounderHeuristicsConfiguration.getToleranceConstraints());
    assertEquals(0, grounderHeuristicsConfiguration.getToleranceRules());
}

Example 7 with GrounderHeuristicsConfiguration

use of at.ac.tuwien.kr.alpha.api.config.GrounderHeuristicsConfiguration in project Alpha by alpha-asp.

the class GrounderHeuristicConfigurationTest method testGetInstancePermissivePermissive.

@Test
public void testGetInstancePermissivePermissive() {
    GrounderHeuristicsConfiguration grounderHeuristicsConfiguration = GrounderHeuristicsConfiguration.getInstance(PERMISSIVE_STRING, PERMISSIVE_STRING);
    assertTrue(grounderHeuristicsConfiguration.isPermissive(true));
    assertTrue(grounderHeuristicsConfiguration.isPermissive(false));
    assertEquals(-1, grounderHeuristicsConfiguration.getToleranceConstraints());
    assertEquals(-1, grounderHeuristicsConfiguration.getToleranceRules());
}

Example 8 with GrounderHeuristicsConfiguration

use of at.ac.tuwien.kr.alpha.api.config.GrounderHeuristicsConfiguration in project Alpha by alpha-asp.

the class GrounderHeuristicConfigurationTest method testGetInstanceIntInt.

@Test
public void testGetInstanceIntInt() {
    GrounderHeuristicsConfiguration grounderHeuristicsConfiguration = GrounderHeuristicsConfiguration.getInstance(5, 1);
    assertTrue(grounderHeuristicsConfiguration.isPermissive(true));
    assertTrue(grounderHeuristicsConfiguration.isPermissive(false));
    assertEquals(5, grounderHeuristicsConfiguration.getToleranceConstraints());
    assertEquals(1, grounderHeuristicsConfiguration.getToleranceRules());
}