Class BinaryVariable


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

      • BinaryVariable

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

      • 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.