RISC JKU

at.jku.risc.stout.urau.algo

Class AntiUnifyProblem

  • All Implemented Interfaces:
    Equation, Cloneable


    public class AntiUnifyProblem
    extends Object
    implements Equation, Cloneable
    This class represents an anti-unification problem (AUP) which consists of one generalization variable (the most general generalization), and two Hedges. The hedges represent the left hand side and the right hand side of the equation.
    Author:
    Alexander Baumgartner
    • Field Detail

      • generalizationVar

        public Variable generalizationVar
      • PRINT_EQ_SEPARATOR

        public static String PRINT_EQ_SEPARATOR
    • Constructor Detail

      • AntiUnifyProblem

        public AntiUnifyProblem()
        Obtain an empty AUP with a fresh hedge variable as generalization variable.
      • AntiUnifyProblem

        public AntiUnifyProblem(Hedge left,
                        Hedge right)
        Create an AUP with a fresh hedge variable as generalization variable and the given hedges.
      • AntiUnifyProblem

        public AntiUnifyProblem(Variable generalizationVar,
                        TermNode left,
                        TermNode right)
        Create an AUP with the given generalization variable and hedges.