Package de.saar.chorus.domgraph.chart.lethal

Class CompoundWithIndex

java.lang.Object
de.saar.chorus.term.Term
de.saar.chorus.term.Compound
de.saar.chorus.domgraph.chart.lethal.CompoundWithIndex
All Implemented Interfaces:
Serializable
public class CompoundWithIndex extends de.saar.chorus.term.Compound
Author:
koller
See Also:

  • Constructor Summary

    Constructors
    Constructor
    Description
    CompoundWithIndex(String label, List<de.saar.chorus.term.Term> subterms, String index)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static de.saar.chorus.term.Term
    assignIndicesToTerm(de.saar.chorus.term.Term term, Map<String,String> assignedIndices, Map<String,String> previouslyAssignedIndices)
     
    static void
    collectAllIndices(de.saar.chorus.term.Term term, Map<String,String> allIndices)
     
    String
    getIndex()
     
    String
    toString()
     

    Methods inherited from class de.saar.chorus.term.Compound

    buildMatchingSubstitution, buildTerm, buildTermWithVariables, equals, getLabel, getSubterms, getType, getUnifier, getVariables, hashCode, hasSubterm, toLispString, toTreeWithVariables

    Methods inherited from class de.saar.chorus.term.Term

    isCompound, isConstant, isUnifiableWith, isVariable, match, substFor, substFor, toOldTreeWithVariables, toTree, unify

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • CompoundWithIndex

      public CompoundWithIndex(String label, List<de.saar.chorus.term.Term> subterms, String index)

  • Method Details

    • getIndex

      public String getIndex()

    • toString

      public String toString()
      Overrides:
      toString in class de.saar.chorus.term.Compound

    • assignIndicesToTerm

      public static de.saar.chorus.term.Term assignIndicesToTerm(de.saar.chorus.term.Term term, Map<String,String> assignedIndices, Map<String,String> previouslyAssignedIndices)

    • collectAllIndices

      public static void collectAllIndices(de.saar.chorus.term.Term term, Map<String,String> allIndices)