public abstract class AbstractBetaFeature extends java.lang.Object implements Feature
Modifier and Type | Class and Description |
---|---|
private static class |
AbstractBetaFeature.MaxDPathHelper |
private static class |
AbstractBetaFeature.MaxPathHelper |
private static class |
AbstractBetaFeature.MaxPosPathHelper |
static class |
AbstractBetaFeature.TermInfo
Informations about a term as cached within "betaCandidates"
|
Modifier and Type | Field and Description |
---|---|
private static AbstractBetaFeature.MaxDPathHelper |
maxDPathHelper
helper for computing maxDPath_* in TermInfo
|
private static AbstractBetaFeature.MaxPosPathHelper |
maxPosPathHelper
helper for computing maxPosPath_* in TermInfo
|
Constructor and Description |
---|
AbstractBetaFeature() |
Modifier and Type | Method and Description |
---|---|
static boolean |
alwaysReplace(Term p_t) |
private static AbstractBetaFeature.TermInfo.Candidate |
candidateHelp(Term p_t,
AbstractBetaFeature.TermInfo p_ti) |
RuleAppCost |
computeCost(RuleApp app,
PosInOccurrence pos,
Goal goal)
Compute the cost of a RuleApp.
|
protected static boolean |
containsNegAtom(Term p_t,
boolean p_positive,
ServiceCaches caches) |
private static boolean |
containsNegAtomHelp(Term p_t,
boolean p_positive,
ServiceCaches caches) |
protected static boolean |
containsQuantifier(Term p_t,
ServiceCaches caches) |
private static boolean |
containsQuantifierHelp(Term p_t,
ServiceCaches caches) |
protected abstract RuleAppCost |
doComputation(PosInOccurrence pos,
Term findTerm,
ServiceCaches caches) |
protected static boolean |
hasPurePosPath(Term p_t,
boolean p_positive,
ServiceCaches caches)
p_t contains a d-path consisting only of positive literals (as a formula
of the antecedent)
|
private static boolean |
hasPurePosPathHelp(Term p_t,
boolean p_positive,
ServiceCaches caches)
TODO: It would be nice to integrate this with the framework for
computing maxPosPath/maxDPath, however different return types pose
a problem.
|
protected static boolean |
isBetaCandidate(Term p_t,
boolean p_inAntec,
ServiceCaches caches) |
private static boolean |
isBetaCandidateHelp(AbstractBetaFeature.TermInfo p_ti,
boolean p_positive) |
protected static int |
maxDPath(Term p_t,
boolean p_positive,
ServiceCaches caches)
The length (number of literals) of the maximum d-path of the given
formula as a formula of the antecedent
|
private static int |
maxDPathHelp(Term p_t,
boolean p_positive) |
protected static int |
maxPosPath(Term p_t,
boolean p_positive,
ServiceCaches caches)
The maximal number of positive literals occurring within a
d-path of "p_t" as a formula of the antecedent
|
private static int |
maxPosPathHelp(Term p_t,
boolean p_positive) |
private static AbstractBetaFeature.TermInfo |
termInfo(Term p_t,
ServiceCaches caches)
Get the informations about a term
|
private static AbstractBetaFeature.MaxPosPathHelper maxPosPathHelper
private static AbstractBetaFeature.MaxDPathHelper maxDPathHelper
private static AbstractBetaFeature.TermInfo termInfo(Term p_t, ServiceCaches caches)
caches
- TODOprivate static int maxPosPathHelp(Term p_t, boolean p_positive)
private static int maxDPathHelp(Term p_t, boolean p_positive)
private static boolean hasPurePosPathHelp(Term p_t, boolean p_positive, ServiceCaches caches)
caches
- TODOprivate static boolean containsNegAtomHelp(Term p_t, boolean p_positive, ServiceCaches caches)
private static boolean containsQuantifierHelp(Term p_t, ServiceCaches caches)
private static AbstractBetaFeature.TermInfo.Candidate candidateHelp(Term p_t, AbstractBetaFeature.TermInfo p_ti)
private static boolean isBetaCandidateHelp(AbstractBetaFeature.TermInfo p_ti, boolean p_positive)
protected static boolean hasPurePosPath(Term p_t, boolean p_positive, ServiceCaches caches)
caches
- TODOprotected static int maxPosPath(Term p_t, boolean p_positive, ServiceCaches caches)
caches
- TODOprotected static int maxDPath(Term p_t, boolean p_positive, ServiceCaches caches)
caches
- TODOprotected static boolean containsQuantifier(Term p_t, ServiceCaches caches)
caches
- TODOprotected static boolean containsNegAtom(Term p_t, boolean p_positive, ServiceCaches caches)
caches
- TODOpublic static boolean alwaysReplace(Term p_t)
protected static boolean isBetaCandidate(Term p_t, boolean p_inAntec, ServiceCaches caches)
caches
- TODOpublic RuleAppCost computeCost(RuleApp app, PosInOccurrence pos, Goal goal)
computeCost
in interface Feature
app
- the RuleApppos
- position where app
is to be appliedgoal
- the goal on which app
is to be appliedapp
protected abstract RuleAppCost doComputation(PosInOccurrence pos, Term findTerm, ServiceCaches caches)