Interface Variable

All Superinterfaces:
fr.inria.rules.dlgpemodel.api.sentences.IPrintable, fr.inria.rules.dlgpemodel.api.elems.ITerm, fr.inria.rules.dlgpemodel.api.elems.IVariable, Standardizable, Substitutable<Term>, Term
All Known Implementing Classes:
FreshVariableImpl, VariableImpl
public interface Variable extends Term, fr.inria.rules.dlgpemodel.api.elems.IVariable
A variable is a placeholder for another Term.
Author:
Florent Tornil

  • Method Details

    • isVariable

      default boolean isVariable()
      Description copied from interface: Term
      Indicates whether this term is a variable.
      Specified by:
      isVariable in interface Term
      Returns:
      true iff this object is a Variable

    • applySubstitution

      default Term applySubstitution(Substitution substitution, boolean evaluate)
      Description copied from interface: Term
      Applies a substitution to this term.
      Specified by:
      applySubstitution in interface Substitutable<Term>
      Specified by:
      applySubstitution in interface Term
      Parameters:
      substitution - the substitution to apply
      evaluate - whether nested evaluable functions should be evaluated
      Returns:
      the substituted term

    • toStandardForm

      default String toStandardForm(Boolean shortForm)
      Description copied from interface: Standardizable
      Returns the standardized textual form.
      Specified by:
      toStandardForm in interface Standardizable
      Parameters:
      shortForm - indicates whether the generated form should take into account the prefix system
      Returns:
      the standardized form