Uses of Interface
org.tweetyproject.logics.commons.syntax.interfaces.LogicProgram
-
Packages that use LogicProgram Package Description org.tweetyproject.logics.commons.syntax.interfaces org.tweetyproject.lp.asp.syntax org.tweetyproject.lp.nlp.syntax -
-
Uses of LogicProgram in org.tweetyproject.logics.commons.syntax.interfaces
Methods in org.tweetyproject.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 org.tweetyproject.lp.asp.syntax
Classes in org.tweetyproject.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 org.tweetyproject.lp.nlp.syntax
Classes in org.tweetyproject.lp.nlp.syntax that implement LogicProgram Modifier and Type Class Description class
NLPProgram
A nested logic program
-