public class NaiveLiteralTransformationFunction extends java.lang.Object implements MultipleTransformationFunction<Rule>
Modifier and Type | Field and Description |
---|---|
private AttackStrategy |
attackRelation |
private Program |
beliefSet |
private AttackStrategy |
defenseRelation |
Constructor and Description |
---|
NaiveLiteralTransformationFunction(java.util.Collection<Rule> beliefSet,
AttackStrategy attackRelation,
AttackStrategy defenseRelation)
Creates a new naive transformation function for literals.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Rule> |
transform(java.util.Collection<Rule> formulas)
Transforms the given set of formulas for selective revision.
|
java.util.Collection<Rule> |
transform(Rule rule)
"Transforms" the single fact by either accepting or rejecting it.
|
private Program beliefSet
private AttackStrategy attackRelation
private AttackStrategy defenseRelation
public NaiveLiteralTransformationFunction(java.util.Collection<Rule> beliefSet, AttackStrategy attackRelation, AttackStrategy defenseRelation)
beliefSet
- The belief set used for this transformation function.attackRelation
- the notion of attack used for attacking argumentsdefenseRelation
- the notion of attack used to attack attacking argumentspublic java.util.Collection<Rule> transform(java.util.Collection<Rule> formulas)
MultipleTransformationFunction
transform
in interface MultipleTransformationFunction<Rule>
formulas
- a set of formulas.