org.eclipse.palamedes.gdl.core.model
Interface IMove
- All Known Implementing Classes:
- GenericMove
public interface IMove
The IMove interface is an adapter interface to wrap reasoner specific
move representations. It stands for a (does ROLE MOVE) relation in GDL.
getRole
java.lang.String getRole()
- Returns:
- a string representation of the role part of the does relation
getMove
java.lang.String getMove()
- Returns:
- a string representation of the move part of the does relation
toString
java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
getRoleTerm
KIFTerm getRoleTerm()
- Returns:
- a term representing the role part of the does relation
getMoveTerm
KIFTerm getMoveTerm()
- Returns:
- a term representing the move part of the does relation