public class difference extends DefaultInternalAction
Internal action: .difference(S1,S2,S3)
.
Description: S3 is the difference between the sets S1 and S2 (represented by lists). The result set is sorted.
Parameters:
Examples:
.difference("[a,b,c]","[b,e]",X)
: X
unifies with "[a,c]".
.difference("[a,b,a,c]","[f,e,a,c]",X)
: X
unifies with "[b]".
Constructor and Description |
---|
difference() |
Modifier and Type | Method and Description |
---|---|
protected void |
checkArguments(Term[] args) |
static InternalAction |
create() |
java.lang.Object |
execute(TransitionSystem ts,
Unifier un,
Term[] args)
Executes the internal action.
|
int |
getMaxArgs() |
int |
getMinArgs() |
canBeUsedInContext, destroy, prepareArguments, suspendIntention
public static InternalAction create()
public int getMinArgs()
getMinArgs
in class DefaultInternalAction
public int getMaxArgs()
getMaxArgs
in class DefaultInternalAction
protected void checkArguments(Term[] args) throws JasonException
checkArguments
in class DefaultInternalAction
JasonException
public java.lang.Object execute(TransitionSystem ts, Unifier un, Term[] args) throws java.lang.Exception
InternalAction
execute
in interface InternalAction
execute
in class DefaultInternalAction
java.lang.Exception