Class DefaultAtomFactory

java.lang.Object
fr.lirmm.graphik.integraal.core.factory.DefaultAtomFactory
All Implemented Interfaces:
AtomFactory
public final class DefaultAtomFactory extends Object implements AtomFactory
Default singleton implementation of AtomFactory.
Author:
Clément Sipieter (INRIA) <clement@6pi.fr>

  • Method Details

    • instance

      public static DefaultAtomFactory instance()
      Returns the shared atom factory instance.
      Returns:
      the shared instance

    • createEquality

      public Atom createEquality(Term t1, Term t2)
      Description copied from interface: AtomFactory
      Creates an equality atom between two terms.
      Specified by:
      createEquality in interface AtomFactory
      Parameters:
      t1 - the left-hand term
      t2 - the right-hand term
      Returns:
      the created equality atom

    • create

      public Atom create(Predicate predicate)
      Description copied from interface: AtomFactory
      Creates an atom with the specified predicate and no term.
      Specified by:
      create in interface AtomFactory
      Parameters:
      predicate - the atom predicate
      Returns:
      the created atom

    • create

      public Atom create(Predicate predicate, List<Term> terms)
      Description copied from interface: AtomFactory
      Creates an atom with the specified predicate and term list.
      Specified by:
      create in interface AtomFactory
      Parameters:
      predicate - the atom predicate
      terms - the atom terms
      Returns:
      the created atom

    • create

      public Atom create(Predicate predicate, Term... terms)
      Description copied from interface: AtomFactory
      Creates an atom with the specified predicate and term array.
      Specified by:
      create in interface AtomFactory
      Parameters:
      predicate - the atom predicate
      terms - the atom terms
      Returns:
      the created atom

    • create

      public Atom create(Atom atom)
      Description copied from interface: AtomFactory
      Creates a copy of the specified atom.
      Specified by:
      create in interface AtomFactory
      Parameters:
      atom - the atom to copy
      Returns:
      the copied atom

    • getTop

      public Atom getTop()
      Description copied from interface: AtomFactory
      Returns the distinguished top atom.
      Specified by:
      getTop in interface AtomFactory
      Returns:
      the top atom

    • getBottom

      public Atom getBottom()
      Description copied from interface: AtomFactory
      Returns the distinguished bottom atom.
      Specified by:
      getBottom in interface AtomFactory
      Returns:
      the bottom atom