java.lang.Object
org.variantsync.boosting.datastructure.Module

public class Module extends Object
A Module holds sets of likely and unlikely features and is mapped through an Association onto ASTNodes. This class encapsulates a set of literals and provides methods for comparing modules and retrieving information about the literals it contains.
  • Constructor Summary

    Constructors
    Constructor
    Description
    Module(CustomHashSet<org.logicng.formulas.Literal> literals)
    Constructs a new Module with the given set of literals.
  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    Compares this Module with the specified object for equality.
    CustomHashSet<org.logicng.formulas.Literal>
    Returns the set of literals contained in this Module.
    int
    Returns a hash code value for the Module.
    int
    Returns the number of literals in this Module.

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
  • Constructor Details

    • Module

      public Module(CustomHashSet<org.logicng.formulas.Literal> literals)
      Constructs a new Module with the given set of literals.
      Parameters:
      literals - The set of literals to be contained in the module
  • Method Details

    • equals

      public boolean equals(Object o)
      Compares this Module with the specified object for equality.
      Overrides:
      equals in class Object
      Parameters:
      o - The object to compare this Module with
      Returns:
      true if the specified object is equal to this Module, false otherwise
    • hashCode

      public int hashCode()
      Returns a hash code value for the Module.
      Overrides:
      hashCode in class Object
      Returns:
      A hash code value for this Module
    • getLiterals

      public CustomHashSet<org.logicng.formulas.Literal> getLiterals()
      Returns the set of literals contained in this Module.
      Returns:
      The set of literals contained in this Module
    • size

      public int size()
      Returns the number of literals in this Module.
      Returns:
      The number of literals in this Module