Interface Constants


public interface Constants
This interface defines the constants used during the encoding.
  • Field Details

    • DEFAULT_RELEVANT_FACTS_TABLE_SIZE

      static final int DEFAULT_RELEVANT_FACTS_TABLE_SIZE
      The default size of the table of relevant facts.
      See Also:
      Constant Field Values
    • DUMMY_GOAL

      static final String DUMMY_GOAL
      The name of the dummy predicate used to replace the goal when the goal is a disjunction.
      See Also:
      Constant Field Values
    • DUMMY_OPERATOR

      static final String DUMMY_OPERATOR
      The name of the dummy operator that produce the dummy goal.
      See Also:
      Constant Field Values
    • DEFAULT_ACTION_TABLE_SIZE

      static final int DEFAULT_ACTION_TABLE_SIZE
      The default size of the actions table.
      See Also:
      Constant Field Values
    • DEFAULT_METHOD_TABLE_SIZE

      static final int DEFAULT_METHOD_TABLE_SIZE
      The default size of the method table.
      See Also:
      Constant Field Values