Package io.github.cvc5
Class DatatypeSelector
- java.lang.Object
-
- io.github.cvc5.DatatypeSelector
-
public class DatatypeSelector extends java.lang.Object
A cvc5 datatype selector.
-
-
Field Summary
Fields Modifier and Type Field Description protected long
pointer
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
deletePointer()
protected void
deletePointer(long pointer)
Sort
getCodomainSort()
java.lang.String
getName()
long
getPointer()
Term
getTerm()
Get the selector term of this datatype selector.Term
getUpdaterTerm()
Get the updater term of this datatype selector.boolean
isNull()
java.lang.String
toString()
protected java.lang.String
toString(long pointer)
-
-
-
Method Detail
-
deletePointer
protected void deletePointer(long pointer)
-
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.
-
getPointer
public long getPointer()
-
deletePointer
public void deletePointer()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-