public class RoleInclusion extends Axiom
| Modifier and Type | Field and Description |
|---|---|
protected Role[] |
lhs
The left hand side of the expression.
|
protected Role |
rhs
The right hand side of the expression.
|
| Constructor and Description |
|---|
RoleInclusion() |
RoleInclusion(Role[] lhs,
Role rhs)
Creates a new
RoleInclusion. |
RoleInclusion(Role lhs,
Role rhs)
Creates a new
RoleInclusion. |
protected Role[] lhs
protected Role rhs
public RoleInclusion()
public RoleInclusion(Role[] lhs, Role rhs)
RoleInclusion.lhs - rhs - public RoleInclusion(Role lhs, Role rhs)
RoleInclusion.lhs - rhs - Copyright © 2018 Australian e-Health Research Centre. All Rights Reserved.