lp.trans
Class DlpTransformer.AtomInfo
java.lang.Object
lp.trans.DlpTransformer.AtomInfo
- Enclosing class:
- DlpTransformer
private class DlpTransformer.AtomInfo
- extends Object
A container for metadata about an atom's appearance in the input program.
First it needs to be filled with information by calling the methods
addOccurence(boolean, int)
. Based on this data, it can formulate
all default assumptions, propagation rejections and completeness
constraints for the given atom.
- Version:
- 0.2
- Author:
- Martin Slota
- See Also:
DlpTransformer
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
forAtom
private final LpAtom forAtom
defaultNeeded
private boolean defaultNeeded
posOccurences
private final IntArrayWrapper posOccurences
negOccurences
private final IntArrayWrapper negOccurences
DlpTransformer.AtomInfo
public DlpTransformer.AtomInfo(LpAtom forAtom)
setDefaultNeeded
public void setDefaultNeeded()
getMaxLeqThan
public int getMaxLeqThan(boolean positive,
int level)
addOccurence
public void addOccurence(boolean positive,
int level)
addRulesTo
public void addRulesTo(TransformedDlp prog)
makePropagationRejection
private LpRule makePropagationRejection(boolean positive,
int fromLevel,
int toLevel)
makeDefault
private LpRule makeDefault()
makeConstraint
private LpRule makeConstraint()