Package org.tweetyproject.arg.adf.reasoner.query

Interface SemanticsStep

public interface SemanticsStep

SemanticsStep class

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
ConditionlessTaskStep	admissible()	Return admissible
ConditionlessTaskStep	complete()	return complete
ConditionlessTaskStep	conflictFree()	Return conflictFree
ConditionlessTaskStep	custom(Semantics semantics)	Return custom
ConditionlessTaskStep	ground()	Return ground
ConditionlessTaskStep	model()	Return model
ConditionlessTaskStep	naive()	Return naive
ConditionlessTaskStep	preferred()	Return preferred
ConditionlessTaskStep	stable()	Return stable

Method Details

conflictFree

ConditionlessTaskStep conflictFree()

Return conflictFree

Returns:

conflictFree

naive

ConditionlessTaskStep naive()

Return naive

Returns:

naive

admissible

ConditionlessTaskStep admissible()

Return admissible

Returns:

admissible

preferred

ConditionlessTaskStep preferred()

Return preferred

Returns:

preferred

stable

ConditionlessTaskStep stable()

Return stable

Returns:

stable

complete

ConditionlessTaskStep complete()

return complete

Returns:

complete

model

ConditionlessTaskStep model()

Return model

Returns:

model

ground

ConditionlessTaskStep ground()

Return ground

Returns:

ground

custom

ConditionlessTaskStep custom(Semantics semantics)

Return custom

Parameters:

semantics - semantics

Returns:

custom