Interface Standardizable

All Known Subinterfaces:
Constant, EvaluableFunction, Literal<T>, LogicalFunctionalTerm, Predicate, SpecializableLogicalFunctionalTerm, Term, Variable
All Known Implementing Classes:
AbstractLogicalFunctionalTermImpl, ConstantImpl, EvaluableFunctionImpl, FreshVariableImpl, GroundFunctionalTermImpl, LiteralImpl, PredicateImpl, SpecializableLogicalFunctionalTermImpl, VariableImpl
public interface Standardizable
Defines a standardized textual form of main Integraal model objects
Author:
Michel Leclère The variables, atoms, facts, rules, queries use the DLGP format. The constants use a URI format The literals use a XML Datatype format The substitutions use a specific json format. For constant and literal format, two versions are accessible: - a long version that doesn't use a prefix system to shorten identifiers - a short version that uses a prefix manager to shorten identifiers

  • Method Summary

    Modifier and Type
    Method
    Description
    default String
    toStandardForm()
    Returns the standardized textual form using the short representation.
    default String
    toStandardForm(Boolean shortForm)
    Returns the standardized textual form.

  • Method Details

    • toStandardForm

      default String toStandardForm(Boolean shortForm)
      Returns the standardized textual form.
      Parameters:
      shortForm - indicates whether the generated form should take into account the prefix system
      Returns:
      the standardized form

    • toStandardForm

      default String toStandardForm()
      Returns the standardized textual form using the short representation.
      Returns:
      the standardized form