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(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	Represents a nested logic program (NLP) in the form of a set of rules.