Package io.github.cvc5

Class DatatypeSelector

  • public class DatatypeSelector
extends java.lang.Object
    A cvc5 datatype selector.

    • Field Detail

      • solver

        protected final Solver solver

      • pointer

        protected long pointer

    • Method Detail

      • deletePointer

        protected void deletePointer​(long pointer)

      • getPointer

        public long getPointer()

      • getName

        public java.lang.String getName()
        Returns:
        The Name of this Datatype selector.

      • getTerm

        public Term getTerm()
        Get the selector term of this datatype selector. Selector terms are a class of function-like terms of selector sort (Sort::isDatatypeSelector), and should be used as the first argument of Terms of kind APPLY_SELECTOR.
        Returns:
        The Selector term.

      • getUpdaterTerm

        public Term getUpdaterTerm()
        Get the updater term of this datatype selector. Similar to selectors, updater terms are a class of function-like terms of updater Sort (Sort::isDatatypeUpdater), and should be used as the first argument of Terms of kind APPLY_UPDATER.
        Returns:
        The Updater term.

      • getCodomainSort

        public Sort getCodomainSort()
        Returns:
        The Codomain sort of this selector.

      • isNull

        public boolean isNull()
        Returns:
        True If this DatatypeSelector is a null object.

      • toString

        protected java.lang.String toString​(long pointer)
        Returns:
        A String representation of this datatype selector.

      • getSolver

        public Solver getSolver()

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object