at.jku.risc.stout.urauc.algo

Class AntiUnify.AntiUnifyOne

java.lang.Object

at.jku.risc.stout.urauc.algo.AntiUnify.AntiUnifyOne

Enclosing class:

AntiUnify

public class AntiUnify.AntiUnifyOne
extends Object

Constructor Summary

Constructors

Constructor and Description
AntiUnify.AntiUnifyOne(AntiUnifyProblem aup)

Method Summary

Methods

Modifier and Type	Method and Description
void	antiUnify(PrintStream out) Calls the rule based system AntiUnifySystem and tries to justify the computed result if the second argument of this method is true.
HedgeVar	getMostGeneral() Returns the hedge variable which is used as generalization variable.
AntiUnifySystem	getResult() Returns the entire AntiUnifySystem which is encapsulated by this class
void	justifyGeneralization(PrintStream out)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AntiUnify.AntiUnifyOne

public AntiUnify.AntiUnifyOne(AntiUnifyProblem aup)
                       throws ControlledException

Throws:

ControlledException

Method Detail

antiUnify

public void antiUnify(PrintStream out)
               throws ControlledException

Calls the rule based system AntiUnifySystem and tries to justify the computed result if the second argument of this method is true.

Throws:

ControlledException

getMostGeneral

public HedgeVar getMostGeneral()

Returns the hedge variable which is used as generalization variable. (The most general generalization.)

getResult

public AntiUnifySystem getResult()

Returns the entire AntiUnifySystem which is encapsulated by this class

justifyGeneralization

public void justifyGeneralization(PrintStream out)
                           throws JustificationException

Throws:

JustificationException