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

Class AcceptanceCondition.Builder

java.lang.Object

org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition.Builder

Enclosing interface:

AcceptanceCondition

public static final class AcceptanceCondition.Builder
extends Object

Builder class

Author:

Sebastian

Method Summary

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

and

public AcceptanceCondition.Builder and(AcceptanceCondition acc)

Adds a conjunction with the given acceptance condition

Parameters:

acc - acc

Returns:

Builder and

and

public AcceptanceCondition.Builder and(AcceptanceCondition... accs)

Adds conjunctions with all the given acceptance conditions

Parameters:

accs - accs

Returns:

Builder and

or

public AcceptanceCondition.Builder or(AcceptanceCondition acc)

Adds a disjunction with the given acceptance condition

Parameters:

acc - acc

Returns:

Builder or

or

public AcceptanceCondition.Builder or(AcceptanceCondition... accs)

Adds disjunctions with all the given acceptance conditions

Parameters:

accs - accs

Returns:

Builder or

implies

public AcceptanceCondition.Builder implies(AcceptanceCondition acc)

Adds an implication with the given acceptance condition

Parameters:

acc - acc

Returns:

Builder implies

equiv

public AcceptanceCondition.Builder equiv(AcceptanceCondition acc)

Adds an equivalence with the given acceptance condition

Parameters:

acc - acc

Returns:

Builder equiv

equiv

public AcceptanceCondition.Builder equiv(AcceptanceCondition... accs)

Adds equivalences with all the given acceptance conditions

Parameters:

accs - accs

Returns:

Builder equiv

xor

public AcceptanceCondition.Builder xor(AcceptanceCondition acc)

Adds an exclusive disjunction with the given acceptance condition

Parameters:

acc - acc

Returns:

Builder xor

neg

public AcceptanceCondition.Builder neg()

Negates the current acceptance condition

Returns:

Builder neg

build

public AcceptanceCondition build()

Builds and returns the acceptance condition

Returns:

AcceptanceCondition build