Class BinaryVariable


public class BinaryVariable extends Variable
This class models a binary variable as a mathematical term.
Author:
Matthias Thimm
  • Constructor Details

    • BinaryVariable

      public BinaryVariable(String name)
      Creates a new binary variable with the given name.
      Parameters:
      name - the name of the variable
  • Method Details

    • isInteger

      public boolean isInteger()
      Description copied from class: Term
      Checks whether this term represents an integer value.
      Specified by:
      isInteger in class Term
      Returns:
      "true" iff this term represents an integer value.