Uses of Class
org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition.Builder

Packages that use AcceptanceCondition.Builder

Package	Description
org.tweetyproject.arg.adf.syntax.acc

Uses of AcceptanceCondition.Builder in org.tweetyproject.arg.adf.syntax.acc

Methods in org.tweetyproject.arg.adf.syntax.acc that return AcceptanceCondition.Builder

Modifier and Type	Method	Description
AcceptanceCondition.Builder	AcceptanceCondition.Builder.and(AcceptanceCondition acc)	Adds a conjunction with the given acceptance condition
AcceptanceCondition.Builder	AcceptanceCondition.Builder.and(AcceptanceCondition... accs)	Adds conjunctions with all the given acceptance conditions
static AcceptanceCondition.Builder	AcceptanceCondition.builder(AcceptanceCondition acc)	Returns a left-associative builder.
AcceptanceCondition.Builder	AcceptanceCondition.Builder.equiv(AcceptanceCondition acc)	Adds an equivalence with the given acceptance condition
AcceptanceCondition.Builder	AcceptanceCondition.Builder.equiv(AcceptanceCondition... accs)	Adds equivalences with all the given acceptance conditions
AcceptanceCondition.Builder	AcceptanceCondition.Builder.implies(AcceptanceCondition acc)	Adds an implication with the given acceptance condition
AcceptanceCondition.Builder	AcceptanceCondition.Builder.neg()	Negates the current acceptance condition
AcceptanceCondition.Builder	AcceptanceCondition.Builder.or(AcceptanceCondition acc)	Adds a disjunction with the given acceptance condition
AcceptanceCondition.Builder	AcceptanceCondition.Builder.or(AcceptanceCondition... accs)	Adds disjunctions with all the given acceptance conditions
AcceptanceCondition.Builder	AcceptanceCondition.Builder.xor(AcceptanceCondition acc)	Adds an exclusive disjunction with the given acceptance condition