Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram
-
Packages that use LogicProgram Package Description net.sf.tweety.logics.commons.syntax.interfaces net.sf.tweety.lp.asp.syntax net.sf.tweety.lp.nlp.syntax -
-
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 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. -
Uses of LogicProgram in net.sf.tweety.lp.asp.syntax
Classes in net.sf.tweety.lp.asp.syntax that implement LogicProgram Modifier and Type Class Description class
Program
This class models an ASP-Core-2 program, meaning a set of rules and optionally a query. -
Uses of LogicProgram in net.sf.tweety.lp.nlp.syntax
Classes in net.sf.tweety.lp.nlp.syntax that implement LogicProgram Modifier and Type Class Description class
NLPProgram
A nested logic program
-