Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram

Packages that use LogicProgram

Package	Description
net.sf.tweety.logics.commons.syntax.interfaces

Uses of LogicProgram in net.sf.tweety.logics.commons.syntax.interfaces

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return LogicProgram

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(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.