public interface IOrdinarySynchInterface
Modifier and Type | Method and Description |
---|---|
java.util.List<LogicTuple> |
get(IId aid) |
LogicTuple |
in(IId aid,
LogicTuple t) |
java.util.List<LogicTuple> |
inAll(IId aid,
LogicTuple t) |
LogicTuple |
inp(IId aid,
LogicTuple t) |
LogicTuple |
no(IId aid,
LogicTuple t) |
java.util.List<LogicTuple> |
noAll(IId aid,
LogicTuple t) |
LogicTuple |
nop(IId aid,
LogicTuple t) |
void |
out(IId aid,
LogicTuple t) |
java.util.List<LogicTuple> |
outAll(IId aid,
LogicTuple t) |
LogicTuple |
rd(IId aid,
LogicTuple t) |
java.util.List<LogicTuple> |
rdAll(IId aid,
LogicTuple t) |
LogicTuple |
rdp(IId aid,
LogicTuple t) |
java.util.List<LogicTuple> |
set(IId aid,
LogicTuple tupleList) |
LogicTuple |
spawn(IId aid,
LogicTuple t) |
LogicTuple |
uin(IId aid,
LogicTuple t) |
LogicTuple |
uinp(IId aid,
LogicTuple t) |
LogicTuple |
uno(IId aid,
LogicTuple t) |
LogicTuple |
unop(IId aid,
LogicTuple t) |
LogicTuple |
urd(IId aid,
LogicTuple t) |
LogicTuple |
urdp(IId aid,
LogicTuple t) |
java.util.List<LogicTuple> get(IId aid) throws OperationNotPossibleException
aid
- the identifier of who is invokin the operation the identifier
of who is invokin the operationOperationNotPossibleException
- if the operation requested cannot be carried out if the
operation requested cannot be carried outLogicTuple in(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operation the tuple argument of the
operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tuple if
the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outjava.util.List<LogicTuple> inAll(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outLogicTuple inp(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outLogicTuple no(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outjava.util.List<LogicTuple> noAll(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outLogicTuple nop(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outvoid out(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outjava.util.List<LogicTuple> outAll(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outLogicTuple rd(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outjava.util.List<LogicTuple> rdAll(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outLogicTuple rdp(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outjava.util.List<LogicTuple> set(IId aid, LogicTuple tupleList) throws OperationNotPossibleException, InvalidLogicTupleException
aid
- the identifier of who is invokin the operationtupleList
- the list of tuples argument of the operationOperationNotPossibleException
- if the operation requested cannot be carried outInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleLogicTuple spawn(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outLogicTuple uin(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outLogicTuple uinp(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outLogicTuple uno(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outLogicTuple unop(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outLogicTuple urd(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outLogicTuple urdp(IId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried out