Package | Description |
---|---|
net.sf.tweety.logics.commons.syntax.interfaces | |
net.sf.tweety.lp.asp.syntax | |
net.sf.tweety.lp.nlp.syntax |
Modifier and Type | Method and Description |
---|---|
LogicProgram<?,?,?> |
LogicProgram.exchange(Term<?> v,
Term<?> t)
Substitutes all occurrences of term "v" in this formula
by term "t" and at the same time replaces all occurrences of term "t"
by term "v" and eventually returns the new formula.
|
LogicProgram<?,?,?> |
LogicProgram.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
Substitutes all occurrences of all terms "v" in map.keyset() in this formula
by map.get(v) and returns the new formula.
|
LogicProgram<?,?,?> |
LogicProgram.substitute(Term<?> v,
Term<?> t)
Substitutes all occurrences of term "v" in this formula
by term "t" and returns the new formula.
|
Modifier and Type | Class and Description |
---|---|
class |
Program
this class models an disjunctive logical program, which is
a collection of rules.
|
Modifier and Type | Class and Description |
---|---|
class |
NLPProgram
A nested logic program
|